Systematization of finite many-valued logics through the method of tableaux
From MaRDI portal
Recommendations
Cites work
Cited in
(45)- Are tableaux an improvement on truth-tables? Cut-free proofs and bivalence
- On the relative merits of path dissolution and the method of analytic tableaux
- Multi-valued autoepistemic logic
- Optimal axiomatizations of finitely valued logics
- Maximal weakly-intuitionistic logics
- On finite-valued propositional logical calculi
- Sequent calculi for choice logics
- Tableaux and restricted quantification for systems related to weak Kleene logic
- Analytic tableaux for non-deterministic semantics
- Two decision procedures for da Costa's \(C_n\) Logics based on restricted Nmatrix semantics
- Tree-like proof systems for finitely-many valued non-deterministic consequence relations
- On non-deterministic quantification
- Two-sided sequent calculi for \textit{FDE}-like four-valued logics
- scientific article; zbMATH DE number 446843 (Why is no real title available?)
- scientific article; zbMATH DE number 4162838 (Why is no real title available?)
- Classic-Like Analytic Tableaux for Finite-Valued Logics
- Truth-values as labels: a general recipe for labelled deduction
- scientific article; zbMATH DE number 1189102 (Why is no real title available?)
- Natural 3-valued logics—characterization and proof theory
- scientific article; zbMATH DE number 63610 (Why is no real title available?)
- 1998 European Summer Meeting of the Association for Symbolic Logic
- scientific article; zbMATH DE number 1333598 (Why is no real title available?)
- scientific article; zbMATH DE number 512980 (Why is no real title available?)
- Modulated fibring and the collapsing problem
- Reasoning without believing: on the mechanisation of presuppositions and partiality
- Rejection in Łukasiewicz’s and Słupecki’s Sense
- Combining many-valued and intuitionistic tableaux
- MUltlog 1.0: towards an expert system for many-valued logics
- Optimal axiomatizations for multiple-valued operators and quantifiers based on semi-lattices
- scientific article; zbMATH DE number 1894790 (Why is no real title available?)
- Saturated models of first-order many-valued logics
- scientific article; zbMATH DE number 6316278 (Why is no real title available?)
- Finitely many-valued logics and natural deduction
- Tableau Systems for Logics of Subinterval Structures over Dense Orderings
- scientific article; zbMATH DE number 5230352 (Why is no real title available?)
- Effective Finite-Valued Approximations of General Propositional Logics
- Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\)
- Tableau metatheory for syllogistic logics
- Sequent calculi for choice logics
- Tableau systems for some Ivlev-like (quantified) modal logics
- Tableaux for metainferential logics
- On partial and paraconsistent logics
- Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics
- Cut-elimination and quantification in canonical systems
- A functorial framework for constraint normal logic programming
This page was built for publication: Systematization of finite many-valued logics through the method of tableaux
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3770497)
