Gentzen-type sequent calculi for extended Belnap-Dunn logics with classical negation: a general framework
From MaRDI portal
Publication:2418013
DOI10.1007/s11787-018-0218-3OpenAlexW2904400328WikidataQ128739502 ScholiaQ128739502MaRDI QIDQ2418013
Publication date: 31 May 2019
Published in: Logica Universalis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11787-018-0218-3
embedding theoremcompleteness theoremcut-elimination theoremBelnap-Dunn logicGentzen-type sequent calculusDe and Omori's axiom
Related Items (3)
Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation ⋮ Lattice logic, bilattice logic and paraconsistent quantum logic: a unified framework based on monosequent systems ⋮ An extended paradefinite logic combining conflation, paraconsistent negation, classical negation, and classical implication: how to construct Nice Gentzen-type sequent calculi
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Classical negation and expansions of Belnap-Dunn logic
- Ideal paraconsistent logics
- Proof theory of Nelson's paraconsistent logic: a uniform perspective
- The class of extensions of Nelson's paraconsistent logic
- Classical relevant logics. I
- Intuitionistic logic with strong negation
- An extended first-order Belnap-Dunn logic with classical negation
- Paraconsistent double negations as classical and intuitionistic negations
- Proof theory of paraconsistent quantum logic
- Intuitive semantics for first-degree entailments and `coupled trees'
- Embedding from multilattice logic into classical logic and vice versa
- Constructible falsity and inexact predicates
- An expansion of first-order Belnap-Dunn logic
- Yet another paradefinite logic: The role of conflation1
- Connexive implication
- A propositional logic with subjunctive conditionals
- Constructible falsity
This page was built for publication: Gentzen-type sequent calculi for extended Belnap-Dunn logics with classical negation: a general framework
