Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation

DOI10.1007/s10849-021-09330-1OpenAlexW3155642874MaRDI QIDQ2236504

Norihiro Kamide

Publication date: 25 October 2021

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10849-021-09330-1

zbMATH Keywords

embedding theoremsequent calculuscompleteness theoremcut-elimination theoremBelnap-Dunn logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Related Items

IMPROVING STRONG NEGATION ⋮ Falsification-aware calculi and semantics for normal modal logics including S4 and S5

Cites Work

• \(\mathbf{BK}\)-lattices. Algebraic semantics for Belnapian modal logics
• Classical negation and expansions of Belnap-Dunn logic
• Proof theory of Nelson's paraconsistent logic: a uniform perspective
• The class of extensions of Nelson's paraconsistent logic
• Classical relevant logics. I
• Classical relevant logics. II
• Intuitionistic logic with strong negation
• The logic of paradox
• The value of the four values
• The logic of information structures
• Informational interpretation of substructural propositional logics
• An extended first-order Belnap-Dunn logic with classical negation
• Modal multilattice logic
• Paraconsistent double negations as classical and intuitionistic negations
• Disentangling \textsf{FDE}-based paraconsistent modal logics
• Proof theory of paraconsistent quantum logic
• Handbook of philosophical logic. Vol. 7
• Intuitive semantics for first-degree entailments and `coupled trees'
• Partiality and its dual
• Reasoning with logical bilattices
• Gentzen-type sequent calculi for extended Belnap-Dunn logics with classical negation: a general framework
• Four-valued modal logic: Kripke semantics and duality
• The lattice of Belnapian modal logics: Special extensions and counterparts
• Embedding from multilattice logic into classical logic and vice versa
• On a multilattice analogue of a hypersequent S5 calculus
• MANY-VALUED MODAL LOGICS: A SIMPLE APPROACH
• Constructible falsity and inexact predicates
• An expansion of first-order Belnap-Dunn logic
• On the Methodology of Paraconsistent Logic
• New Essays on Belnap-Dunn Logic
• Proof Theory
• Connexive implication
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• A propositional logic with subjunctive conditionals
• Constructible falsity
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item