An expansion of first-order Belnap-Dunn logic

DOI10.1093/jigpal/jzt044zbMath1342.03025OpenAlexW2023192850MaRDI QIDQ5172135

Hitoshi Omori, Katsuhiko Sano

Publication date: 12 February 2015

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

Full work available at URL: https://doi.org/10.1093/jigpal/jzt044

zbMATH Keywords

four-valued logicparaconsistent logicBelnap-Dunn logicBaaz's delta operatorŁukasiewicz's implication

Mathematics Subject Classification ID

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

Related Items

De Morgan clones and four-valued logics, Correspondence analysis and automated proof-searching for first degree entailment, Paraconsistent constructive logic with strong negation as a contraction-free relevant logic, Gentzen-type sequent calculi for extended Belnap-Dunn logics with classical negation: a general framework, 40 years of FDE: an introductory overview, Disentangling \textsf{FDE}-based paraconsistent modal logics, Presumptive Reasoning in a Paraconsistent Setting, Classical negation and expansions of Belnap-Dunn logic, Variations on the Collapsing Lemma, Generalizing functional completeness in Belnap-Dunn logic, Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation, Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix II. Only one designated value, Valuation semantics for first-order logics of evidence and truth