Generalized consistency degrees of theories w.r.t. formulas in several standard complete logic systems

DOI10.1016/J.FSS.2006.02.007zbMATH Open1115.03016OpenAlexW2068342173MaRDI QIDQ853469FDOQ853469

Authors: Hongjun Zhou, Guojun Wang 

Publication date: 15 November 2006

Published in: Fuzzy Sets and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.fss.2006.02.007

Recommendations

• Consistency degrees of theories in some systems of propositional fuzzy logic
• Consistency degrees of finite theories in Łukasiewicz propositional fuzzy logic
• A new theory consistency index based on deduction theorems in several logic systems
• AN APPROACH TOWARD CONSISTENCY DEGREES OF FUZZY THEORIES
• The relative divergence degree and the relative consistency degree of theories in the propositional logic system \(L^*_n\)

zbMATH Keywords

completeness theoreminconsistencydeduction theoremconsistency degreedivergence degreedegree of entailmentsatisfiability degree

Mathematics Subject Classification ID

Classical propositional logic (03B05) Many-valued logic (03B50) Fuzzy logic; logic of vagueness (03B52) Paraconsistent logics (03B53)

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
• Algebraic foundations of many-valued reasoning
• 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
• Theory of truth degrees of propositions in two-valued logic
• A new theory consistency index based on deduction theorems in several logic systems
• The completeness and applications of the formal system \(\mathcal L^\ast\)
• A triangular-norm-based propositional fuzzy logic
• The complexity of McNaughton functions of one variable
• Title not available (Why is that?)
• The operation \(\otimes\) and deductive theorem in the formal deductive system \(\mathcal L\)
• COMPARISON OF DEDUCTION THEOREMS IN DIVERSE LOGIC SYSTEMS
• Title not available (Why is that?)

Cited In (14)

• 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
• Consistency degrees of theories in some systems of propositional fuzzy logic
• Characterizations of maximal consistent theories in the formal deductive system \(\mathcal L^{*}\) (NM-logic) and Cantor space
• Some properties of fuzzy reasoning in propositional fuzzy logic systems
• Quantitative logic
• AN APPROACH TOWARD CONSISTENCY DEGREES OF FUZZY THEORIES
• Borel probabilistic and quantitative logic
• Title not available (Why is that?)
• COMPARISON OF DEDUCTION THEOREMS IN DIVERSE LOGIC SYSTEMS
• Three and two-valued Łukasiewicz theories in the formal deductive system \({\mathcal L}^*\) (NM-logic)
• A new theory consistency index based on deduction theorems in several logic systems
• Consistency degrees of theories and methods of graded reasoning in \(n\)-valued \(R_{0}\)-logic (NM-logic)
• Consistency degrees of finite theories in Łukasiewicz propositional fuzzy logic

This page was built for publication: Generalized consistency degrees of theories w.r.t. formulas in several standard complete logic systems

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