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

DOI10.1016/J.IJAR.2006.03.001zbMATH Open1111.03029OpenAlexW2024161033MaRDI QIDQ855815FDOQ855815

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

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 \(\mathcal 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\)

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)

Cites Work

• Title not available (Why is that?)
• Metamathematics of fuzzy logic
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• A treatise on many-valued logics
• Consistency degrees of theories in some systems of propositional fuzzy logic
• Title not available (Why is that?)
• Consistency degrees of finite theories in Łukasiewicz propositional fuzzy logic
• Integrated semantics and logic metric spaces
• 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
• A formal deductive system for fuzzy propositional calculus
• On equivalent forms of fuzzy logic systems NM and IMTL
• The completeness and applications of the formal system \(\mathcal L^\ast\)
• A triangular-norm-based propositional fuzzy logic
• Involutive monoidalt-norm based logic andR0 logic
• The operation \(\otimes\) and deductive theorem in the formal deductive system \(\mathcal L\)
• COMPARISON OF DEDUCTION THEOREMS IN DIVERSE LOGIC SYSTEMS
• The completeness of the formal deductive system \(\mathcal{L}^*(n)\)

Cited In (8)

• 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
• 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)