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

DOI10.1007/S11432-009-0008-XzbMATH Open1191.03014OpenAlexW2057010793MaRDI QIDQ2267005FDOQ2267005

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

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

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)

Cites Work

• Modal logic
• On Fuzzy Logic II. Enriched residuated lattices and semantics of propositional calculi
• Consistency degrees of theories in some systems of propositional fuzzy logic
• Consistency degrees of finite theories in Łukasiewicz propositional fuzzy logic
• 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
• Theory of truth degrees of propositions in two-valued logic
• Theory of truth degrees of propositions in the logic system \(L_{n}^{*}\)
• A new theory consistency index based on deduction theorems in several logic systems
• 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)
• Theory of truth degrees of formulas in Łukasiewicz \(n\)-valued propositional logic and a limit theorem
• On equivalent forms of fuzzy logic systems NM and IMTL
• A logic for approximate reasoning
• Title not available (Why is that?)
• Title not available (Why is that?)
• COMPARISON OF DEDUCTION THEOREMS IN DIVERSE LOGIC SYSTEMS
• A 16-classification partition of formula set \(F(S)\) in revised Kleene system \(\overline W\)
• 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
• Theory of truth degrees in Łukasiewicz \(n\)-valued propositional logic
• The theory of \(\alpha\)-truth degrees in \(n\)-valued Gödel propositional logic
• Quantitative logic. I.
• Conditional truth degree of formulas in classical propositional logic

Cited In (10)

• The interval-valued truth degree theory of the modal formulas
• Lattice-valued modal propositional logic and its completeness
• Title not available (Why is that?)
• Researches on \((n)\) truth degrees in modal logic
• Title not available (Why is that?)
• Metric structure in the modal logic system S4
• Borel probabilistic and quantitative logic
• Title not available (Why is that?)
• Consistency degrees of theories and methods of graded reasoning in \(n\)-valued \(R_{0}\)-logic (NM-logic)
• Logical modalities as arithmetical functions

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)