Pages that link to "Item:Q1786806"
From MaRDI portal
The following pages link to Intuitive semantics for first-degree entailments and `coupled trees' (Q1786806):
Displayed 50 items.
- Non-deterministic semantics in polynomial format (Q281146) (← links)
- On all strong Kleene generalizations of classical logic (Q295922) (← links)
- Correia semantics revisited (Q300562) (← links)
- A Gentzen calculus for nothing but the truth (Q312499) (← links)
- Paraconsistency properties in degree-preserving fuzzy logics (Q344078) (← links)
- Dual equivalent two-valued under-determined and over-determined interpretations for Łukasiewicz's 3-valued logic Ł3 (Q484107) (← links)
- Informational semantics as a third alternative? (Q488328) (← links)
- Belief functions on distributive lattices (Q490415) (← links)
- On modal Meinongianism (Q513946) (← links)
- Completeness and cut-elimination theorems for trilattice logics (Q639681) (← links)
- Ideal paraconsistent logics (Q647409) (← links)
- On Beall's new interpretation of \(WK_{3}\) (Q667921) (← links)
- On partial and paraconsistent logics (Q701297) (← links)
- Proof theory of Nelson's paraconsistent logic: a uniform perspective (Q764309) (← links)
- A note on FDE ``all the way up'' (Q778734) (← links)
- Paradox, truth and logic. I. Paradox and truth (Q798312) (← links)
- Four valued semantics and the Liar (Q798313) (← links)
- A non-deterministic view on non-classical negations (Q813081) (← links)
- Some useful 16-valued logics: How a computer network should think (Q815018) (← links)
- Relational semantics for Kleene logic and action logic (Q817963) (← links)
- Correspondence analysis for some fragments of classical propositional logic (Q828774) (← links)
- De Morgan clones and four-valued logics (Q829759) (← links)
- Kripke-completeness and cut-elimination theorems for intuitionistic paradefinite logics with and without quasi-explosion (Q830398) (← links)
- Polarity semantics for negation as a modal operator (Q831215) (← links)
- Reasons and entailment (Q885011) (← links)
- A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes (Q895828) (← links)
- The method of polynomial ring calculus and its potentialities (Q897932) (← links)
- Suszko's thesis, inferential many-valuedness, and the notion of a logical system (Q931405) (← links)
- Inconsistency-tolerant description logic. II: A tableau algorithm for \(\mathcal{CALC}^{\mathsf C}\) (Q946573) (← links)
- Hyper-contradictions, generalized truth values and logics of truth and falsehood (Q1006448) (← links)
- Proof systems combining classical and paraconsistent negations (Q1015485) (← links)
- Editorial introduction. Truth values. I (Q1015488) (← links)
- A few more useful 8-valued logics for reasoning with tetralattice \(EIGHT_{4}\) (Q1037603) (← links)
- Semantic closure (Q1063583) (← links)
- The American plan completed: Alternative classical-style semantics, without stars, for relevant and paraconsistent logics (Q1069923) (← links)
- Bilattices and the theory of truth (Q1123891) (← links)
- Relevance from an epistemic perspective (Q1127353) (← links)
- A sieve for entailments (Q1137032) (← links)
- A Kripke-style semantics for R-mingle using a binary accessibility relation (Q1226480) (← links)
- A theorem in 3-valued model theory with connections to number theory, type theory, and relevant logic (Q1257471) (← links)
- Relevant analytic tableaux (Q1257473) (← links)
- Information and impossibilities (Q1276417) (← links)
- Ways things can't be (Q1276423) (← links)
- How to be really contraction free (Q1313081) (← links)
- Limited reasoning in first-order knowledge bases (Q1343837) (← links)
- A generalization of analytic deduction via labelled deductive systems. I: Basic substructural logics (Q1344886) (← links)
- Four-valued semantics for relevant logics (and some of their rivals) (Q1346215) (← links)
- A theory of truth that prefers falsehood (Q1366760) (← links)
- Four-valued logic (Q1422105) (← links)
- Pecularities of some three- and four-valued second order logics (Q1632057) (← links)