An extended first-order Belnap-Dunn logic with classical negation
From MaRDI portal
Publication:1679746
DOI10.1007/978-3-662-55665-8_6zbMath1496.03104OpenAlexW2748259594MaRDI QIDQ1679746
Norihiro Kamide, Hitoshi Omori
Publication date: 22 November 2017
Full work available at URL: https://doi.org/10.1007/978-3-662-55665-8_6
Cut-elimination and normal-form theorems (03F05) Many-valued logic (03B50) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Paraconsistent logics (03B53)
Related Items (5)
Gentzen-type sequent calculi for extended Belnap-Dunn logics with classical negation: a general framework ⋮ A class of implicative expansions of Belnap-Dunn logic in which Boolean negation is definable ⋮ Bilattice Logics and Demi-Negation ⋮ Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation ⋮ An extended paradefinite logic combining conflation, paraconsistent negation, classical negation, and classical implication: how to construct Nice Gentzen-type sequent calculi
This page was built for publication: An extended first-order Belnap-Dunn logic with classical negation
