Consistency degrees of theories and methods of graded reasoning in \(n\)-valued \(R_{0}\)-logic (NM-logic)

DOI10.1016/J.IJAR.2006.03.001zbMath1111.03029OpenAlexW2024161033MaRDI QIDQ855815

Wei Zhou, Hong Jun Zhou, Wang, Guojun

Publication date: 7 December 2006

Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ijar.2006.03.001

zbMATH Keywords

limit theoremdeduction theoremcompleteness theoremtruth degreeconsistency degreedegree of entailment\(R_{0}\)-logicgraded reasoning

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Many-valued logic (03B50)

Related Items (7)

Borel probabilistic and quantitative logic ⋮ Generalized Bosbach and Riečan states on nucleus-based-Glivenko residuated lattices ⋮ STONE DUALITY FOR R0-ALGEBRAS WITH INTERNAL STATES ⋮ Parameterized Uncertain Reasoning Approach Based on a Lattice-Valued Logic ⋮ Theory of \((n)\) truth degrees of formulas in modal logic and a consistency theorem ⋮ The generalized truth degree of quantitative logic in the logic system \(\mathcal L_n^*\) (\(n\)-valued NM-logic system) ⋮ On the rough consistency measures of logic theories and approximate reasoning in rough logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Consistency degrees of finite theories in Łukasiewicz propositional fuzzy logic
• 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
• The completeness and applications of the formal system \(\mathcal L^\ast\)
• Metamathematics of fuzzy logic
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• A formal deductive system for fuzzy propositional calculus
• On equivalent forms of fuzzy logic systems NM and IMTL
• A triangular-norm-based propositional fuzzy logic
• Integrated semantics and logic metric spaces
• Consistency degrees of theories in some systems of propositional fuzzy logic
• Involutive monoidalt-norm based logic andR0 logic
• COMPARISON OF DEDUCTION THEOREMS IN DIVERSE LOGIC SYSTEMS

This page was built for publication: Consistency degrees of theories and methods of graded reasoning in \(n\)-valued \(R_{0}\)-logic (NM-logic)