Interpolation methods for Dunn logics and their extensions
From MaRDI portal
Publication:1685574
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
tableau calculusexactly true logicinterpolation methodsfirst-degree entailmentlogic of paradoxstrong Kleene logicDunn logics
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
