Skip to main content
  • Conference proceedings
  • © 2017

Quantitative Logic and Soft Computing 2016

Proceedings of the 4th International Conference on Quantitative Logic and Soft Computing (QLSC2016) held at Hangzhou, China, 14-17 October, 2016

Editors:

  • Presents recent research in Quantitative Logic and Soft Computing
  • Proceedings of the 4th International Conference on Quantitative Logic and Soft Computing (QLSC2016) held at Hangzhou, China, 14-17 October, 2016
  • Present the latest researches, results, ideas, developments and applications in Quantitative Logic, Many-valued logic, Fuzzy Logic, Quantification of Software, Artificial Intelligence, Fuzzy Sets and Systems, and Soft Computing
  • Includes supplementary material: sn.pub/extras

Part of the book series: Advances in Intelligent Systems and Computing (AISC, volume 510)

Buy it now

Buying options

eBook USD 169.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 219.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (61 papers)

  1. Front Matter

    Pages i-xv
  2. Keynote Speakers

    1. Front Matter

      Pages 1-1
    2. A Novel Description of Factor Logic

      • Hai-Tao Liu, Yi-Xiang Chen, Pei-Zhuang Wang, Hua-Can He
      Pages 9-20
  3. Quantitative Logic and Uncertainty Logic

    1. Front Matter

      Pages 47-47
    2. A Class of Fuzzy Modal Propositional Logic Systems with Three Kinds of Negation

      • Cheng Chen, Li-Juan Zhang, Zheng-Hua Pan
      Pages 101-111
    3. Robustness Analysis of Fuzzy Computation Tree Logic

      • Li Li, Hong-Juan Yuan, Hai-Yu Pan
      Pages 113-121
    4. Localic Conuclei on Quantales

      • Fang-Fang Pan, Sheng-Wei Han
      Pages 123-129
    5. An Equivalent Form of Uncertain Measure

      • Xing-Fang Zhang, Feng-Xia Zhang
      Pages 131-136
    6. A Propositional Logic System for Regular Double Stone Algebra

      • Hua-Li Liu, Yan-Hong She
      Pages 137-145
    7. The Comparison of Expressiveness Between LTL and IGPoLTL

      • Jia-Qi Dang, Yong-Ming Li
      Pages 147-155
  4. Automata and Quantification of Software

    1. Front Matter

      Pages 157-157

About this book

This book is the proceedings of the Fourth International Conference on Quantitative Logic and Soft Computing (QLSC2016) held 14-17, October, 2016 in Zhejiang Sci-Tech University, Hangzhou, China. It includes 61 papers, of which 5 are plenary talks( 3 abstracts and 2 full length talks). QLSC2016 was the fourth in a series of conferences on Quantitative Logic and Soft Computing. This conference was a major symposium for scientists, engineers and practitioners to present their updated results, ideas, developments and applications in all areas of quantitative logic and soft computing. The book aims to strengthen relations between industry research laboratories and universities in fields such as quantitative logic and soft computing worldwide as follows:

(1) Quantitative Logic and Uncertainty Logic;

(2) Automata and Quantification of Software;

(3) Fuzzy Connectives and Fuzzy Reasoning;

(4) Fuzzy Logical Algebras;

(5) Artificial Intelligence and Soft Computing;

(6) Fuzzy Sets Theory and Applications.

Editors and Affiliations

  • Zhejiang, Zhejiang Sci-Tech University Zhejiang, Hangzhou, China

    Tai-He Fan, San-Min Wang

  • Fujian, Jimei University Fujian, Xiamen, China

    Shui-Li Chen

  • Yanta, Shaanxi Normal University Yanta, Xi’an, China

    Yong-Ming Li

Bibliographic Information

  • Book Title: Quantitative Logic and Soft Computing 2016

  • Book Subtitle: Proceedings of the 4th International Conference on Quantitative Logic and Soft Computing (QLSC2016) held at Hangzhou, China, 14-17 October, 2016

  • Editors: Tai-He Fan, Shui-Li Chen, San-Min Wang, Yong-Ming Li

  • Series Title: Advances in Intelligent Systems and Computing

  • DOI: https://doi.org/10.1007/978-3-319-46206-6

  • Publisher: Springer Cham

  • eBook Packages: Engineering, Engineering (R0)

  • Copyright Information: Springer International Publishing Switzerland 2017

  • Softcover ISBN: 978-3-319-46205-9Published: 22 September 2016

  • eBook ISBN: 978-3-319-46206-6Published: 21 September 2016

  • Series ISSN: 2194-5357

  • Series E-ISSN: 2194-5365

  • Edition Number: 1

  • Number of Pages: XV, 679

  • Number of Illustrations: 47 b/w illustrations

  • Topics: Computational Intelligence, Artificial Intelligence

Buy it now

Buying options

eBook USD 169.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 219.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access