The following pages link to (Q5175691):
Displaying 31 items.
- Proof theory of Nelson's paraconsistent logic: a uniform perspective (Q764309) (← links)
- Routley star and hyperintensionality (Q830371) (← links)
- Kripke-completeness and cut-elimination theorems for intuitionistic paradefinite logics with and without quasi-explosion (Q830398) (← links)
- 40 years of FDE: an introductory overview (Q1685563) (← links)
- Paraconsistent logic, evidence, and justification (Q1685567) (← links)
- Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant (Q1685569) (← links)
- Proof theory of paraconsistent quantum logic (Q1749807) (← links)
- An epistemic approach to paraconsistency: a logic of evidence and truth (Q2053983) (← links)
- Falsification-aware semantics and sequent calculi for classical logic (Q2078978) (← links)
- Embedding friendly first-order paradefinite and connexive logics (Q2079706) (← links)
- On Split Negation, Strong Negation, Information, Falsification, and Verification (Q3305426) (← links)
- An Invitation to New Essays on Belnap-Dunn Logic (Q3305604) (← links)
- On Non-transitive “Identity” (Q3305680) (← links)
- Connexive logics. An overview and current trends (Q3387885) (← links)
- Bi-Classical Connexive Logic and its Modal Extension: Cut-elimination, completeness and duality (Q3387890) (← links)
- Towards a bridge over two approaches in connexive logic (Q3387893) (← links)
- Connexive Conditional Logic. Part I (Q3387894) (← links)
- ON CONTRA-CLASSICAL VARIANTS OF NELSON LOGIC N4 AND ITS CLASSICAL EXTENSION (Q4557169) (← links)
- A Poly-Connexive Logic (Q5006821) (← links)
- Normalisation for Some Quite Interesting Many-Valued Logics (Q5013635) (← links)
- On recent applications of paraconsistent logic: an exploratory literature review (Q5243397) (← links)
- IMPROVING STRONG NEGATION (Q6051428) (← links)
- On the provable contradictions of the connexive logics \(\mathbf{C}\) and \(\mathbf{C3}\) (Q6054061) (← links)
- Refutation-aware Gentzen-style calculi for propositional until-free linear-time temporal logic (Q6067745) (← links)
- A simple way to overcome hyperconnexivity (Q6127185) (← links)
- Angell and McCall meet Wansing (Q6127187) (← links)
- Logical multilateralism (Q6145030) (← links)
- Falsification-aware calculi and semantics for normal modal logics including S4 and S5 (Q6169323) (← links)
- Rules of explosion and excluded middle: constructing a unified single-succedent Gentzen-style framework for classical, paradefinite, paraconsistent, and paracomplete logics (Q6612000) (← links)
- A note on synonymy in proof-theoretic semantics (Q6612874) (← links)
- On Woodruff's constructive nonsense logic (Q6642821) (← links)
