The following pages link to (Q4693184):
Displaying 33 items.
- Correia semantics revisited (Q300562) (← links)
- Erotetic search scenarios and three-valued logic (Q302229) (← links)
- Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\) (Q545319) (← links)
- Uncertainty, imprecision, and many-valued logics in protein bioinformatics (Q669205) (← links)
- Data structures for symbolic multi-valued model-checking (Q862857) (← links)
- An axiomatizable logical foundation for lattice-ordered qualitative linguistic approach for reasoning with words (Q903641) (← links)
- Formal axiomatic theories based on a three-valued logic (Q937906) (← links)
- On WLI-ideal space and the properties of WLI-ideals in lattice implication algebra (LIA) (Q1034954) (← links)
- Fuzzy refutations for probability and multivalued logics (Q1344254) (← links)
- On dynamically non-trivial three-valued logics: Oscillatory and bifurcatory species (Q1433787) (← links)
- Kleene's Logic with equality (Q1603370) (← links)
- Propositional and predicate logics of incomplete information (Q2060732) (← links)
- A model of systems with modes and mode transitions (Q2141292) (← links)
- Foundation of credibilistic logic (Q2271113) (← links)
- Model checking of linear-time properties in multi-valued systems (Q2282319) (← links)
- General overlap functions (Q2328976) (← links)
- Features of a multivalued generalization of binary logic operations in linear algebra for problems of digital processing of current-output sensor signals (Q2668467) (← links)
- A system for proper multiple-conclusion entailment (Q2987737) (← links)
- Soft Lattice Implication Algebras (Q3102161) (← links)
- Multivalued Logic at the Nanoscale (Q3295755) (← links)
- K3, Ł3, LP, RM3, A3, FDE, M: How to Make Many-Valued Logics Work for You (Q3305614) (← links)
- (Q3388379) (← links)
- Truth-values as labels: a general recipe for labelled deduction (Q3643258) (← links)
- Many-Valued Logics and Translations (Q4443423) (← links)
- Two Approaches to Fuzzy Implication (Q4686595) (← links)
- Lukasiewicz's Many-valued Logic and Neoplatonic Scalar Modality (Q4706124) (← links)
- A Semi-lattice of Four-valued Literal-paraconsistent-paracomplete Logics (Q4999462) (← links)
- О критерии паранормальности для $n$-значных логических матриц (Q5059701) (← links)
- Об одном классе $n$-значных литеральных паранепротиворечивых / параполных логик (Q5061421) (← links)
- On generalized $f$-derivations of lattice implication algebras (Q5221095) (← links)
- CWA formalizations in multi-valued logics (Q5942700) (← 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)
