Publication:2793522
From MaRDI portal
zbMath1333.03049MaRDI QIDQ2793522
Publication date: 15 March 2016
03B52: Fuzzy logic; logic of vagueness
Related Items
A new theory consistency index based on deduction theorems in several logic systems, Three and two-valued Łukasiewicz theories in the formal deductive system \({\mathcal L}^*\) (NM-logic), 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), Residuated lattices and lattice effect algebras, Characterizations of maximal consistent theories in the formal deductive system \(\mathcal L^{*}\) (NM-logic) and Cantor space, Consistency degrees of theories in some systems of propositional fuzzy logic