Theory of \((n)\) truth degrees of formulas in modal logic and a consistency theorem

DOI10.1007/s11432-009-0008-xzbMath1191.03014MaRDI QIDQ2267005

Qiaolin Duan, Wang, Guojun

Publication date: 26 February 2010

Published in: Science in China. Series F (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11432-009-0008-x

zbMATH Keywords

modal logic; approximate reasoning; temporal logic; consistency theorem; similarity degrees; truth degrees

Mathematics Subject Classification ID

03B45: Modal logic (including the logic of norms)

68T37: Reasoning under uncertainty in the context of artificial intelligence

03B50: Many-valued logic

03B44: Temporal logic

Related Items

Borel probabilistic and quantitative logic, Lattice-valued modal propositional logic and its completeness

Cites Work

• Consistency degrees of finite theories in Łukasiewicz propositional fuzzy logic
• A new theory consistency index based on deduction theorems in several logic systems
• A 16-classification partition of formula set \(F(S)\) in revised Kleene system \(\overline W\)
• Generalized consistency degrees of theories w.r.t. formulas in several standard complete logic systems
• Consistency degrees of theories and methods of graded reasoning in \(n\)-valued \(R_{0}\)-logic (NM-logic)
• A unified approximate reasoning theory suitable for both propositional calcus system\(\mathcal L^\ast\) and predicate calculus system \(\mathcal K^\ast\)
• Theory of truth degrees of formulas in Łukasiewicz \(n\)-valued propositional logic and a limit theorem
• An intrinsic fuzzy set on the universe of discourse of predicate formulas
• On equivalent forms of fuzzy logic systems NM and IMTL
• Integrated semantics and logic metric spaces
• Characterizations of maximal consistent theories in the formal deductive system \(\mathcal L^{*}\) (NM-logic) and Cantor space
• Randomization of classical inference patterns and its application
• Consistency degrees of theories in some systems of propositional fuzzy logic
• Theory of truth degrees of propositions in two-valued logic
• Theory of truth degrees of propositions in the logic system \(L_{n}^{*}\)
• On Fuzzy Logic II. Enriched residuated lattices and semantics of propositional calculi
• A logic for approximate reasoning
• COMPARISON OF DEDUCTION THEOREMS IN DIVERSE LOGIC SYSTEMS
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item