Two-sided sequent calculi for \textit{FDE}-like four-valued logics

DOI10.1007/s10992-022-09678-0OpenAlexW4293088444MaRDI QIDQ2698547

Barteld P. Kooi, Allard M. Tamminga

Publication date: 24 April 2023

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10992-022-09678-0

zbMATH Keywords

proof theorymany-valued logicfirst degree entailmentsequent calculi

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Uses Software

• Pesca

Cites Work

• A Gentzen calculus for nothing but the truth
• Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics
• Correspondence analysis for some fragments of classical propositional logic
• The value of the four values
• Labeled calculi and finite-valued logics
• Intuitive semantics for first-degree entailments and `coupled trees'
• Partiality and its dual
• Optimal axiomatizations of finitely valued logics
• Nothing but the truth
• Systematization of finite many-valued logics through the method of tableaux
• Characterizing Belnap's Logic via De Morgan's Laws
• COMPLETENESS VIA CORRESPONDENCE FOR EXTENSIONS OF THE LOGIC OF PARADOX
• Functional Completeness in CPL via Correspondence Analysis
• LP⁺, K3⁺, FDE⁺, AND THEIR ‘CLASSICAL COLLAPSE’
• Multi-valued Calculi for Logics Based on Non-determinism
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item