COMPARISON OF DEDUCTION THEOREMS IN DIVERSE LOGIC SYSTEMS

DOI10.1142/S1793005705000044zbMath1069.03013OpenAlexW2098756487MaRDI QIDQ4679769

Wang, Guojun

Publication date: 21 June 2005

Published in: New Mathematics and Natural Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1142/s1793005705000044

zbMATH Keywords

fuzzy logicconsistency degree

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52)

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), Randomization of classical inference patterns and its application, Theory of \((n)\) truth degrees of formulas in modal logic and a consistency theorem, Quantitative logic, A new theory consistency index based on deduction theorems in several logic systems

Cites Work

• Consistency degrees of finite theories in Łukasiewicz propositional fuzzy logic
• Integrated semantics and logic metric spaces
• Unnamed Item