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

DOI10.1007/S11432-009-0008-XMaRDI QIDQ2267005zbMATH OpenOpenAlexFDO

Authors Qiaolin Duan, Guojun Wang

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

approximate reasoningmodal logictemporal logicsimilarity degreestruth degreesconsistency theorem

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37) Modal logic (including the logic of norms) (03B45) Many-valued logic (03B50) Temporal logic (03B44)

Recommendations

• Researches on \((n)\) truth degrees in modal logic
• Metric structure in the modal logic system S4
• Theory of truth degrees of propositions in the logic system \(L_{n}^{*}\)
• The interval-valued truth degree theory of the modal formulas
• Theory of truth degrees of propositions in two-valued logic

Cites work

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

Cited in

(11)

• scientific article; zbMATH DE number 6311040 (Why is no real title available?)
• Consistency degrees of theories and methods of graded reasoning in \(n\)-valued \(R_{0}\)-logic (NM-logic)
• Researches on \((n)\) truth degrees in modal logic
• Metric structure in the modal logic system S4
• Formulas expressing totally nonstable truth values of formulas
• Lattice-valued modal propositional logic and its completeness
• Borel probabilistic and quantitative logic
• Logical modalities as arithmetical functions
• The interval-valued truth degree theory of the modal formulas
• scientific article; zbMATH DE number 6453184 (Why is no real title available?)
• scientific article; zbMATH DE number 5011005 (Why is no real title available?)

This page was built for publication: Theory of \((n)\) truth degrees of formulas in modal logic and a consistency theorem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2267005)