An extended first-order Belnap-Dunn logic with classical negation

DOI10.1007/978-3-662-55665-8_6zbMATH Open1496.03104OpenAlexW2748259594MaRDI QIDQ1679746FDOQ1679746

Authors: 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

Recommendations

• Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation
• Classical negation and expansions of Belnap-Dunn logic
• An expansion of first-order Belnap-Dunn logic
• Consistency, completeness, and classicality
• Proof systems combining classical and paraconsistent negations

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Many-valued logic (03B50) Paraconsistent logics (03B53) Cut-elimination and normal-form theorems (03F05)

Cited In (11)

• Gentzen-type sequent calculi for extended Belnap-Dunn logics with classical negation: a general framework
• Classical negation and expansions of Belnap-Dunn logic
• Consistency, completeness, and classicality
• An expansion of first-order Belnap-Dunn logic
• Gentzen-type methods for bilattice negation
• A class of implicative expansions of Belnap-Dunn logic in which Boolean negation is definable
• Bilattice logics and demi-negation
• Cut-elimination, completeness, and Craig interpolation theorems for Gurevich's extended first-order intuitionistic logic with strong 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
• First-degree entailment and binary consequence systems

This page was built for publication: An extended first-order Belnap-Dunn logic with classical negation

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