The following pages link to (Q5175691):
Displayed 29 items.
- 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)
- An infinity of intuitionistic connexive logics (Q6132580) (← links)
- Logical multilateralism (Q6145030) (← links)
- Falsification-aware calculi and semantics for normal modal logics including S4 and S5 (Q6169323) (← links)
- On Synonymy in Proof-Theoretic Semantics: The Case of \(\mathtt{2Int}\) (Q6200464) (← links)