Non-Classical Logic and Computation Special Session on Quantitative Logic


    Uncertainty is a fundamental and unavoidable feature of our daily life. Mathematical representation and logical reasoning of/about uncertainty are matters of common interests in the communities of mathematics, information science and artificial intelligence. Many models of mathematics of uncertainty for dealing with certain types of uncertainty have been constructed, basic logical notions adopted there, however, are still `either black or white', and hence these models belong, in this sense, to the category of two-valued logics. Starting with the probabilistic gradation of truth of propositions in the framework of many-valued logics, a new interdiscipline, which we call Quantitative Logic, with aim at logical treatments on uncertainty of many-valued events through combining probability theory with many-valued logics, has been proposed and developed in the past almost two decades.

   This special session provides an opportunity for researchers and practitioners in the community of Quantitative Logic to share the latest achievements, to exchange new ideas, and to foster possible collaborations. You are kindly invited to submit original, previously unpublished works for this Special Session subject to the overall requirements of ISKE2017.

Scope and Topics

Topics of interest for this special session include but are not limited to:
  • Quantitative logic
  • Fuzzy probability logics
  • States, internal states and generalized states on logical algebras
  • Probability of many-valued events
  • Fully implicational triple I methods for quantitative reasoning

Special Session Organisers

  • Hongjun Zhou, Shaanxi Normal University, E-mail:


Please follow the ISKE2017 instruction for authors and submit your paper via the ISKE 2017 online submission system: Please specify that your paper is for the Non-Classical Logic and Computation Special Session on Quantitative Logic.

Important Dates

1 Paper Submission Deadline: Aug 1, 2017
2 Notification Acceptance: Sep 1, 2017
3 Camera-ready Paper and Registration: Sep 25, 2017