COMPARISON OF DEDUCTION THEOREMS IN DIVERSE LOGIC SYSTEMS
From MaRDI portal
Publication:4679769
DOI10.1142/S1793005705000044zbMath1069.03013MaRDI QIDQ4679769
Publication date: 21 June 2005
Published in: New Mathematics and Natural Computation (Search for Journal in Brave)
03B52: Fuzzy logic; logic of vagueness
Related Items
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, Consistency degrees of theories and methods of graded reasoning in \(n\)-valued \(R_{0}\)-logic (NM-logic), Quantitative logic, Theory of \((n)\) truth degrees of formulas in modal logic and a consistency theorem, Randomization of classical inference patterns and its application
Cites Work