The following pages link to (Q2793522):
Displaying 7 items.
- A new theory consistency index based on deduction theorems in several logic systems (Q812631) (← links)
- Three and two-valued Łukasiewicz theories in the formal deductive system \({\mathcal L}^*\) (NM-logic) (Q835272) (← links)
- Generalized consistency degrees of theories w.r.t. formulas in several standard complete logic systems (Q853469) (← links)
- Consistency degrees of theories and methods of graded reasoning in \(n\)-valued \(R_{0}\)-logic (NM-logic) (Q855815) (← links)
- Residuated lattices and lattice effect algebras (Q879018) (← links)
- Characterizations of maximal consistent theories in the formal deductive system \(\mathcal L^{*}\) (NM-logic) and Cantor space (Q2457027) (← links)
- Consistency degrees of theories in some systems of propositional fuzzy logic (Q2486057) (← links)
