Two-sided sequent calculi for \textit{FDE}-like four-valued logics
From MaRDI portal
Publication:2698547
DOI10.1007/S10992-022-09678-0OpenAlexW4293088444MaRDI QIDQ2698547FDOQ2698547
Authors: Barteld 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
Cites Work
- Labeled calculi and finite-valued logics
- Structural proof theory. With an appendix by Aarne Ranta
- An introduction to non-classical logic. From if to is
- Title not available (Why is that?)
- Title not available (Why is that?)
- Intuitive semantics for first-degree entailments and `coupled trees'
- The value of the four values
- Nothing but the truth
- \(\mathrm{LP}^{+}\), \(\mathrm{K3}^{+}\), \(\mathrm{FDE}^{+}\), and their `classical collapse'
- Title not available (Why is that?)
- A Gentzen calculus for nothing but the truth
- Title not available (Why is that?)
- Partiality and its dual
- Multi-valued Calculi for Logics Based on Non-determinism
- Title not available (Why is that?)
- Systematization of finite many-valued logics through the method of tableaux
- Characterizing Belnap's Logic via De Morgan's Laws
- Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics
- Correspondence analysis for some fragments of classical propositional logic
- Completeness via correspondence for extensions of the logic of paradox
- Title not available (Why is that?)
- Functional Completeness in CPL via Correspondence Analysis
- Optimal axiomatizations of finitely valued logics
- Correspondence analysis for first degree entailment
Cited In (1)
Uses Software
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)
