Four-valued expansions of Dunn-Belnap's logic (I): Basic characterizations

DOI10.18778/0138-0680.2020.19zbMath1477.03076OpenAlexW3048595849MaRDI QIDQ4999460

Alexej P. Pynko

Publication date: 7 July 2021

Published in: Bulletin of the Section of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.18778/0138-0680.2020.19

zbMATH Keywords

expansionpropositional logiclogical matrixequality determinant[bounded distributive/De Morgan lattice]Dunn-Belnap's logic

Mathematics Subject Classification ID

Many-valued logic (03B50) Paraconsistent logics (03B53)

Cites Work

• A relative interpolation theorem for infinitary universal Horn logic and its applications
• The logic of paradox
• Intuitive semantics for first-degree entailments and `coupled trees'
• Subquasivarieties of implicative locally-finite quasivarieties
• Functional Completeness and Axiomatizability within Belnap's Four-Valued Logic and its Expansions
• Subprevarieties versus extensions. Application to the logic of paradox
• Characterizing Belnap's Logic via De Morgan's Laws
• On Priest's logic of paradox
• Algebraic completeness results for R-mingle and its extensions
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Four-valued expansions of Dunn-Belnap's logic (I): Basic characterizations