Consistency degrees of theories and methods of graded reasoning in n-valued R₀-logic (NM-logic)

DOI10.1016/J.IJAR.2006.03.001MaRDI QIDQ855815zbMATH OpenOpenAlexFDO

Authors Wei Zhou, Hongjun Zhou, Guojun Wang

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

completeness theoremlimit theoremtruth degreededuction theoremconsistency degree\(R_{0}\)-logicdegree of entailmentgraded reasoning

Mathematics Subject Classification ID

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

Recommendations

• Consistency degrees of theories and graded reasoning in \(n\)-valued Lukasiewicz prepositional 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 L_n^* (n-valued NM-logic system)
• Theory of truth degrees of formulas in Łukasiewicz \(n\)-valued propositional logic and a limit theorem
• Distributions of truth degrees, divergence degrees and consistency degrees in the logic system \({\L}_n\)

Cites work

• scientific article; zbMATH DE number 1354791 (Why is no real title available?)
• scientific article; zbMATH DE number 3190627 (Why is no real title available?)
• A formal deductive system for fuzzy propositional calculus
• A new theory consistency index based on deduction theorems in several logic systems
• A treatise on many-valued logics
• A triangular-norm-based propositional fuzzy logic
• COMPARISON OF DEDUCTION THEOREMS IN DIVERSE LOGIC SYSTEMS
• Consistency degrees of finite theories in Łukasiewicz propositional fuzzy 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
• Involutive monoidalt-norm based logic andR0 logic
• Metamathematics of fuzzy logic
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• On equivalent forms of fuzzy logic systems NM and IMTL
• The completeness and applications of the formal system L^
• The completeness of the formal deductive system \(\mathcal{L}^*(n)\)
• The operation \(\otimes\) and deductive theorem in the formal deductive system \(\mathcal L\)

Cited in

(8)

• The generalized truth degree of quantitative logic in the logic system L_n^* (n-valued NM-logic system)
• On the rough consistency measures of logic theories and approximate reasoning in rough logic
• Parameterized uncertain reasoning approach based on a lattice-valued logic
• Generalized Bosbach and Riečan states on nucleus-based-Glivenko residuated lattices
• Theory of \((n)\) truth degrees of formulas in modal logic and a consistency theorem
• Stone duality for \(R_0\)-algebras with internal states
• Consistency degrees of theories and graded reasoning in \(n\)-valued Lukasiewicz prepositional logic
• Borel probabilistic and quantitative logic

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

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