Skip to main content
SpringerLink
Log in

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

  • Conference proceedings
  • © 2017

Overview

Editors:
  1. Tai-He Fan

    1. Zhejiang, Zhejiang Sci-Tech University Zhejiang, Hangzhou, China

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Shui-Li Chen

    1. Fujian, Jimei University Fujian, Xiamen, China

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. San-Min Wang

    1. Zhejiang, Zhejiang Sci-Tech University Zhejiang, Hangzhou, China

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Yong-Ming Li

    1. Yanta, Shaanxi Normal University Yanta, Xi’an, China

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • 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)

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

Access this book

Log in via an institution
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

Licence this eBook for your library

Institutional subscriptions

Table of contents (61 papers)

  1. Front Matter

    Pages i-xv
    Download chapter PDF

  3. Quantitative Logic and Uncertainty Logic

    1. Front Matter

      Pages 47-47
      Download chapter PDF

    2. A Quantitative Approach for Linear Temporal Logic

      • Hui-Xian Shi
      Pages 49-57

    3. A New Theory of T Truth Degree on \({\text {G}}\ddot{\text {o}}{\text {del}}\) n-Valued Propositional Logic System

      • Nai-Diao Zhu, Xiao-Jing Hui, Xiao-Li Gao
      Pages 59-70

    4. Soundness and Completeness of Fuzzy Propositional Logic with Three Kinds of Negation

      • Zheng-Hua Pan
      Pages 71-79

    5. Normal Form of n-Valued Lukasiewicz Logic Formulas

      • Qing-Ping Wang
      Pages 81-88

    6. Relative Divergence Degree and Relative Consistency Degree of Theories in a Kind of Goguen Propositional Logic System

      • Xiao-Li Gao, Xiao-Jing Hui, Nai-Diao Zhu
      Pages 89-100

    7. A Class of Fuzzy Modal Propositional Logic Systems with Three Kinds of Negation

      • Cheng Chen, Li-Juan Zhang, Zheng-Hua Pan
      Pages 101-111

    8. Robustness Analysis of Fuzzy Computation Tree Logic

      • Li Li, Hong-Juan Yuan, Hai-Yu Pan
      Pages 113-121

    9. Localic Conuclei on Quantales

      • Fang-Fang Pan, Sheng-Wei Han
      Pages 123-129

    10. An Equivalent Form of Uncertain Measure

      • Xing-Fang Zhang, Feng-Xia Zhang
      Pages 131-136

    11. A Propositional Logic System for Regular Double Stone Algebra

      • Hua-Li Liu, Yan-Hong She
      Pages 137-145

    12. 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
      Download chapter PDF
Back to top

Keywords

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

Publish with us

Policies and ethics

Back to top

Search

Navigation