The following pages link to (Q5800353):
Displayed 43 items.
- On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis (Q526733) (← links)
- A note on matrices for systems of nonsense-logics (Q918962) (← links)
- A criterion of functional completeness for \({\mathfrak B}^3\) (Q1212926) (← links)
- Vagueness, truth and logic (Q1219258) (← links)
- A many-valued semantics for category mistakes (Q1221081) (← links)
- Preference relations (Q1259562) (← links)
- Dualities for Płonka sums (Q1632048) (← links)
- Generalized correspondence analysis for three-valued logics (Q1632053) (← links)
- The natural deduction systems for the three-valued nonsense logics Z and E (Q1647261) (← links)
- Natural deduction for Fitting's four-valued generalizations of Kleene's logics (Q1689568) (← links)
- Stone-type representations and dualities for varieties of bisemilattices (Q1744009) (← links)
- The philosophical significance of Cox's theorem (Q1879780) (← links)
- On finite-valued propositional logical calculi (Q1913635) (← links)
- Logics of nonsense and Parry systems (Q2018590) (← links)
- Containment logics: algebraic completeness and axiomatization (Q2062211) (← links)
- Meaningless divisions (Q2075270) (← links)
- Tableaux and restricted quantification for systems related to weak Kleene logic (Q2142060) (← links)
- Proof theory of paraconsistent weak Kleene logic (Q2193974) (← links)
- Three-valued semantic pluralism: a defense of a three-valued solution to the \textit{sorites} paradox (Q2218709) (← links)
- Logics of left variable inclusion and Płonka sums of matrices (Q2219088) (← links)
- A duality for involutive bisemilattices (Q2422316) (← links)
- A semantic theory of sortal incorrectness (Q2556395) (← links)
- Monstrous content and the bounds of discourse (Q2686088) (← links)
- The quantified argument calculus with two- and three-valued truth-valuational semantics (Q2698282) (← links)
- Natural Deduction Systems for Logics in the FDE Family (Q3305619) (← links)
- Variations on the Collapsing Lemma (Q3305667) (← links)
- Foreword: Three-valued logics and their applications (Q4583341) (← links)
- A computational interpretation of conceptivism (Q4583359) (← links)
- Defining LFIs and LFUs in extensions of infectious logics (Q4586167) (← links)
- Logics of variable inclusion and the lattice of consequence relations (Q4994024) (← links)
- Exactly true and non-falsity logics meeting infectious ones (Q4995617) (← links)
- (Q4999723) (← links)
- (Q5021003) (← links)
- Pure Variable Inclusion Logics (Q5066089) (← links)
- An Epistemic Interpretation of Paraconsistent Weak Kleene Logic (Q5215506) (← links)
- Functional Completeness in CPL via Correspondence Analysis (Q5241402) (← links)
- The Method of Socratic Proofs Meets Correspondence Analysis (Q5241406) (← links)
- On the Philosophy and Mathematics of the Logics of Formal Inconsistency (Q5241518) (← links)
- Semantical analysis of weak Kleene logics (Q5742697) (← links)
- The (Greatest) Fragment of Classical Logic that Respects the Variable-Sharing Principle (in the FMLA-FMLA Framework) (Q6043014) (← links)
- Logical multilateralism (Q6145030) (← links)
- Truth meets vagueness. Unifying the semantic and the soritical paradoxes (Q6145031) (← links)
- A logical modeling of severe ignorance (Q6166125) (← links)