Pages that link to "Item:Q1873679"
From MaRDI portal
The following pages link to Integrated semantics and logic metric spaces (Q1873679):
Displayed 21 items.
- Borel probabilistic and quantitative logic (Q350946) (← links)
- Generalized Bosbach states. II (Q377478) (← links)
- Generalized Bosbach and Riečan states on nucleus-based-Glivenko residuated lattices (Q377479) (← links)
- Similarity mass and approximate reasoning (Q382476) (← links)
- Consistency degrees of finite theories in Łukasiewicz propositional fuzzy logic (Q703371) (← links)
- A new theory consistency index based on deduction theorems in several logic systems (Q812631) (← 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)
- An intrinsic fuzzy set on the universe of discourse of predicate formulas (Q869114) (← links)
- Residuated lattices and lattice effect algebras (Q879018) (← links)
- The generalized truth degree of quantitative logic in the logic system \(\mathcal L_n^*\) (\(n\)-valued NM-logic system) (Q988221) (← links)
- Quantitative logic (Q1007841) (← links)
- Theory of \((n)\) truth degrees of formulas in modal logic and a consistency theorem (Q2267005) (← links)
- Hierarchical structure and applications of fuzzy logical systems (Q2353966) (← links)
- Randomization of classical inference patterns and its application (Q2465739) (← links)
- The \(R_0\)-type fuzzy logic metric space and an algorithm for solving fuzzy modus ponens (Q2483068) (← links)
- Some properties of the roots of theories in propositional logic systems (Q2483080) (← links)
- Unified forms of Triple I method (Q2485521) (← links)
- Consistency degrees of theories in some systems of propositional fuzzy logic (Q2486057) (← links)
- COMPARISON OF DEDUCTION THEOREMS IN DIVERSE LOGIC SYSTEMS (Q4679769) (← links)
- T-Absolute Truth Degree Theory of Formulas in Three-Valued Łukasiewicz Propositional Logic System (Q4977778) (← links)