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

DOI10.1007/978-3-662-55665-8_6MaRDI QIDQ1679746zbMATH OpenOpenAlexFDO

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

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)

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

Cited in

(16)

• Falsification-aware semantics and sequent calculi for classical logic
• Valuation semantics for first-order logics of evidence and truth
• An extended paradefinite logic combining conflation, paraconsistent negation, classical negation, and classical implication: how to construct Nice Gentzen-type sequent calculi
• Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation
• Gentzen-type sequent calculi for extended Belnap-Dunn logics with classical negation: a general framework
• Bilattice logics and demi-negation
• Consistency, completeness, and classicality
• Classical negation and expansions of Belnap-Dunn logic
• Cut-elimination, completeness, and Craig interpolation theorems for Gurevich's extended first-order intuitionistic logic with strong negation
• Herbrand and contraposition-elimination theorems for extended first-order Belnap-Dunn logic
• An expansion of first-order Belnap-Dunn logic
• First-degree entailment and binary consequence systems
• A class of implicative expansions of Belnap-Dunn logic in which Boolean negation is definable
• Kamide is in America, Moisil and Leitgeb are in Australia
• First-order intuitionistic Belnap-Dunn logic: proof-theoretic analysis of the American path
• Gentzen-type methods for bilattice negation

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)