The following pages link to (Q4068686):
Displayed 18 items.
- A geometric interpretation of LD-resolution (Q596040) (← links)
- Three and two-valued Łukasiewicz theories in the formal deductive system \({\mathcal L}^*\) (NM-logic) (Q835272) (← links)
- Redefined fuzzy implicative filters (Q865915) (← links)
- An intrinsic fuzzy set on the universe of discourse of predicate formulas (Q869114) (← links)
- Linguistic modelling and information coarsening based on prototype theory and label semantics (Q962929) (← links)
- A heuristic in rules-based systems (Q1310950) (← links)
- The complexity of the evaluation of complex algebra expressions (Q1376410) (← links)
- Generalized fuzzy groups and many-valued implications (Q1406868) (← links)
- \(ILI\)-ideals and prime \(LI\)-ideals in lattice implication algebras. (Q1425298) (← links)
- Swinging types=functions+relations+transition systems (Q1575635) (← links)
- Intuitionistic nil radicals of intuitionistic fuzzy ideals and Euclidean intuitionistic fuzzy ideals in rings. (Q2384820) (← links)
- Unified forms of Triple I method (Q2485521) (← links)
- A logic for approximate reasoning (Q4314673) (← links)
- Gödel, Tarski, Church, and The Liar (Q4432541) (← links)
- Discovering boundary algebra: A simple notation for Boolean algebra and the truth functors (Q4807997) (← links)
- Quine's ‘limits of decision’ (Q4948519) (← links)
- \(\alpha\)-resolution principle based on lattice-valued propositional logic \(\text{LP} (X)\) (Q5946276) (← links)
- \(\alpha\)-resolution principle based on first-order lattice-valued logic \(\text{LF}(X)\) (Q5946327) (← links)