Consistency degrees of finite theories in Łukasiewicz propositional fuzzy logic

DOI10.1016/j.fss.2003.12.001zbMath1062.03022OpenAlexW2020188392MaRDI QIDQ703371

Wen-Xiu Zhang, Wang, Guojun

Publication date: 11 January 2005

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

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

zbMATH Keywords

pseudo-metricMV-algebrainconsistencyŁukasiewicz logicconsistency degreedivergence degreefinite theoryfinitely axiomatizable theoriesMcNaughton function

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Other algebras related to logic (03G25) MV-algebras (06D35)

Related Items

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), Open problems from the 12th international conference on fuzzy set theory and its applications, Consistency degrees of theories in some systems of propositional fuzzy logic, Theory of \((n)\) truth degrees of formulas in modal logic and a consistency theorem, COMPARISON OF DEDUCTION THEOREMS IN DIVERSE LOGIC SYSTEMS, T-Absolute Truth Degree Theory of Formulas in Three-Valued Łukasiewicz Propositional Logic System, A new theory consistency index based on deduction theorems in several logic systems

Cites Work

• Unnamed Item
• Unnamed Item
• Metamathematics of fuzzy logic
• Algebraic foundations of many-valued reasoning
• Integrated semantics and logic metric spaces
• Fuzzy logic and the calculi of fuzzy rules, fuzzy graphs, and fuzzy probabilities
• On Fuzzy Logic I Many‐valued rules of inference