A class of implicative expansions of Belnap-Dunn logic in which Boolean negation is definable

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