Quantitative Logic: A Quantitative Approach to Many-Valued Logics

Quantitative logic mainly provides a quantitative approach to evaluating the degree of truth of a formula in a system of many-valued logic. Based on the fundamental notion of truth degree, one can introduce the notions of similarity degree and of pseudo-metric between formulas, and can also introduce an effective method to measure the degree of consistency of a logic theory. The purpose of the paper is to give a brief overview of the background, basic results and recent developments of quantitative logic.

[1]  Guojun Wang,et al.  Theory of truth degrees of formulas in Łukasiewiczn-valued propositional logic and a limit theorem , 2005, Science in China Series F: Information Sciences.

[2]  S. Gottwald.  A Treatise on Many-Valued Logics , 2001 .

[3]  Lluis Godo,et al.  Monoidal t-norm based logic: towards a logic for left-continuous t-norms , 2001, Fuzzy Sets Syst..

[4]  Wang Guo-jun,et al.  Randomization of classical inference patterns and its application , 2007 .

[5]  Guojun Wang,et al.  Borel probabilistic and quantitative logic , 2011, Science China Information Sciences.

[6]  Guo-Jun Wang,et al.  An intrinsic fuzzy set on the universe of discourse of predicate formulas , 2006, Fuzzy Sets Syst..

[7]  Guojun Wang,et al.  Quantitative logic , 2009, Inf. Sci..

[8]  V. Novák,et al.  Mathematical Principles of Fuzzy Logic , 1999 .

[9]  Petr Hájek,et al.  Metamathematics of Fuzzy Logic , 1998, Trends in Logic.

[10]  Guojun Wang,et al.  Generalized consistency degrees of theories w.r.t. formulas in several standard complete logic systems , 2006, Fuzzy Sets Syst..

[11]  D. Lu,et al.  Injecting skin fibroblasts into muscles to express human clotting factor IX cDNA , 1998, Science in China Series C: Life Sciences.

[12]  Yee Leung,et al.  Integrated semantics and logic metric spaces , 2003, Fuzzy Sets Syst..

[13]  Atwell R. Turquette,et al.  On the Many-Valued Logics , 1941 .

[14]  GuoJun Wang,et al.  Theory of (n) truth degrees of formulas in modal logic and a consistency theorem , 2009, Science in China Series F: Information Sciences.

[15]  Wei Zhou,et al.  Consistency degrees of theories and methods of graded reasoning in n-valued R0-logic (NM-logic) , 2006, Int. J. Approx. Reason..

[16]  A. R. Turquette,et al.  On the Many-Valued Logics , 1941 .

[17]  Guojun Wang,et al.  Theory of Ω-(α-tautologies) in revised Kleene systems , 1998 .