The lattice of all 4-valued implicative expansions of Belnap–Dunn logic containing Routley and Meyer’s basic logic B d
Article in Logic Journal of IGPL (March 2023)
The most recent citing publications are shown below. View all 9 publications that cite this research output on Dimensions.
Two 4-valued implicative expansions of first-degree entailment logic: The relevant logic BN4VSP and the (relevant) entailment logic BN4AP
Article in Journal of Logic and Computation (January 2023)
A Class of Implicative Expansions of Belnap-Dunn Logic in which Boolean Negation is Definable
Article in Journal of Philosophical Logic (January 2023)