A class of implicative expansions of Belnap-Dunn logic in which Boolean negation is definable
From MaRDI portal
Publication:6098217
DOI10.1007/S10992-022-09692-2MaRDI QIDQ6098217
Publication date: 13 June 2023
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Belnap-Dunn logicBoolean negationtwo-valued Belnap-Dunn semanticsimplicative expansions of Belnap-Dunn logic
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Classical negation and expansions of Belnap-Dunn logic
- A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes
- Where gamma fails
- An extended first-order Belnap-Dunn logic with classical negation
- 40 years of FDE: an introductory overview
- Intuitive semantics for first-degree entailments and `coupled trees'
- Partiality and its dual
- Strengthening Brady's paraconsistent 4-valued logic BN4 with truth-functional modal operators
- The normal and self-extensional extension of Dunn-Belnap logic
- The class of all natural implicative expansions of Kleene's strong logic functionally equivalent to Łukasiewicz's 3-valued logic Ł3
- Correspondence analysis and automated proof-searching for first degree entailment
- Jaśkowski's criterion and three-valued paraconsistent logics
- Formal inconsistency and evolutionary databases
- The logic determined by Smiley’s matrix for Anderson and Belnap’s first-degree entailment logic
- A companion to Brady's 4-valued relevant logic BN4: The 4-valued logic of entailment E4
- Belnap-Dunn Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer’s Logic B
- EF4, EF4-M and EF4-Ł: A companion to BN4 and two modal four-valued systems without strong Łukasiewicz-type modal paradoxes
- A remark on functional completeness of binary expansions of Kleene’s strong 3-valued logic
- Proof Systems for 3-valued Logics Based on Gödel’s Implication
- New Essays on Belnap-Dunn Logic
- Inconsistency Tolerance
- Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix with two designated values
This page was built for publication: A class of implicative expansions of Belnap-Dunn logic in which Boolean negation is definable