The lattice of all 4-valued implicative expansions of Belnap-Dunn logic containing Routley and Meyer's basic logic B^d

DOI10.1093/JIGPAL/JZAD005MaRDI QIDQ6639604zbMATH OpenFDO

Authors Gemma Robles, José M. Méndez

Publication date 15 November 2024

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1093/JIGPAL/JZAD005

zbMATH Keywords

Belnap-Dunn logicfunctional inclusion and equivalenceimplicative expansions of Belnap-Dunn logicRoutley-Meyer basic logic Btwo-valued Belnap-Dunn semantics

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Recommendations

• Four-valued expansions of Dunn-Belnap's logic. I: Basic characterizations
• The class of all 3-valued implicative expansions of Kleene's strong logic containing Anderson and Belnap's first degree entailment logic
• The normal and self-extensional extension of Dunn-Belnap logic
• Classical negation and expansions of Belnap-Dunn logic
• scientific article; zbMATH DE number 7644095

This page was built for publication: The lattice of all 4-valued implicative expansions of Belnap-Dunn logic containing Routley and Meyer's basic logic \(\mathrm{B}^{\mathrm{d}}\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6639604)