Cut elimination, identity elimination, and interpolation in super-Belnap logics

DOI10.1007/s11225-017-9746-8zbMath1417.03287arXiv1803.03822OpenAlexW2962686728MaRDI QIDQ1685571

Adam Přenosil

Publication date: 14 December 2017

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1803.03822

zbMATH Keywords

interpolationcut eliminationexactly true logicGentzen calculuslogic of paradoxstrong Kleene logicDunn-Belnap logicsuper-Belnap logicsidentity elimination

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Many-valued logic (03B50) Paraconsistent logics (03B53)

Related Items

Inferences and metainferences in \(\mathsf{ST}\), The value of the one value: \textit{exactly true logic} revisited, K3, Ł3, LP, RM3, A3, FDE, M: How to Make Many-Valued Logics Work for You, Sequent-calculi for metainferential logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The logic of paradox
• An algebraic view of super-Belnap logics
• Intuitive semantics for first-degree entailments and `coupled trees'
• Order algebraizable logics
• Nothing but the truth
• A unified semantic framework for fully structural propositional sequent systems
• How a Computer Should Think
• Canonical Calculi: Invertibility, Axiom Expansion and (Non)-determinism
• Correspondences between gentzen and hilbert systems
• Syntactical and semantical properties of simple type theory
• About some symmetries of negation
• Belnap's Four-Valued Logic and De Morgan Lattices
• Subprevarieties versus extensions. Application to the logic of paradox
• An infinity of super-Belnap logics
• Characterizing Belnap's Logic via De Morgan's Laws
• Contradiction, Quantum Mechanics, and the Square of Opposition
• Which structural rules admit cut elimination? An algebraic criterion
• THE LATTICE OF SUPER-BELNAP LOGICS