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

DOI10.1007/S10992-022-09678-0MaRDI QIDQ2698547zbMATH OpenOpenAlexFDO

Authors Barteld Kooi, Allard M. Tamminga

Publication date 24 April 2023

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

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

first degree entailmentmany-valued logicproof theorysequent calculi

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites work

• \(\mathrm{LP}^{+}\), \(\mathrm{K3}^{+}\), \(\mathrm{FDE}^{+}\), and their `classical collapse'
• A Gentzen calculus for nothing but the truth
• An introduction to non-classical logic. From if to is
• Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics
• Characterizing Belnap's Logic via De Morgan's Laws
• Completeness via correspondence for extensions of the logic of paradox
• Correspondence analysis for first degree entailment
• Correspondence analysis for some fragments of classical propositional logic
• Functional Completeness in CPL via Correspondence Analysis
• scientific article; zbMATH DE number 956466 (Why is no real title available?)
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 2042613 (Why is no real title available?)
• scientific article; zbMATH DE number 949290 (Why is no real title available?)
• scientific article; zbMATH DE number 6418709 (Why is no real title available?)
• scientific article; zbMATH DE number 3241254 (Why is no real title available?)
• Intuitive semantics for first-degree entailments and `coupled trees'
• Labeled calculi and finite-valued logics
• Multi-valued Calculi for Logics Based on Non-determinism
• Nothing but the truth
• Optimal axiomatizations of finitely valued logics
• Partiality and its dual
• Structural proof theory. With an appendix by Aarne Ranta
• Systematization of finite many-valued logics through the method of tableaux
• The value of the four values

Cited in

(3)

• Pecularities of some three- and four-valued second order logics
• A classical first-order normalization procedure with and based on the Milne-Kürbis approach
• Resolving Radzki’s issues with Łukasiewicz logics’ axiomatics via correspondence analysis

Describes a project that uses

Uses Software

• Pesca

This page was built for publication: Two-sided sequent calculi for \textit{FDE}-like four-valued logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2698547)