Interpolation methods for Dunn logics and their extensions

DOI10.1007/S11225-017-9720-5zbMath1417.03184OpenAlexW2607009070WikidataQ59517841 ScholiaQ59517841MaRDI QIDQ1685574

Stefan Wintein, Reinhard A. Muskens

Publication date: 14 December 2017

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

Full work available at URL: https://doi.org/10.1007/s11225-017-9720-5

zbMATH Keywords

tableau calculusexactly true logicinterpolation methodsfirst-degree entailmentlogic of paradoxstrong Kleene logicDunn logics

Mathematics Subject Classification ID

Many-valued logic (03B50) Paraconsistent logics (03B53)

Related Items (2)

The value of the one value: \textit{exactly true logic} revisited ⋮ Bisequent calculus for four-valued quasi-relevant logics: cut elimination and interpolation

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On all strong Kleene generalizations of classical logic
• A Gentzen calculus for nothing but the truth
• Generalizing functional completeness in Belnap-Dunn logic
• On partial and paraconsistent logics
• Interpolation theorem in many-valued logics with designated values
• Proof theory. 2nd ed
• The logic of paradox
• The value of the four values
• Intuitive semantics for first-degree entailments and `coupled trees'
• Reasoning with logical bilattices
• Nothing but the truth
• Natural 3-valued logics—characterization and proof theory
• Bilattices and the semantics of logic programming
• Functional Completeness and Axiomatizability within Belnap's Four-Valued Logic and its Expansions
• On the expressive power of three-valued and four-valued languages
• Contradiction, Quantum Mechanics, and the Square of Opposition

This page was built for publication: Interpolation methods for Dunn logics and their extensions