Two-sided sequent calculi for \textit{FDE}-like four-valued logics
From MaRDI portal
Publication:2698547
Cites work
- 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?)
- 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
- 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
- \(\mathrm{LP}^{+}\), \(\mathrm{K3}^{+}\), \(\mathrm{FDE}^{+}\), and their `classical collapse'
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)
