Finitely many-valued logics and natural deduction
From MaRDI portal
Recommendations
- On poly-logistic natural-deduction for finitely-valued propositional logics
- Systematization of finite many-valued logics through the method of tableaux
- Natural deduction for Fitting's four-valued generalizations of Kleene's logics
- Natural three-valued logics characterized by natural deduction
- Tree-like proof systems for finitely-many valued non-deterministic consequence relations
Cited in
(19)- Compositional meaning in logic
- Optimal axiomatizations of finitely valued logics
- Tree-like proof systems for finitely-many valued non-deterministic consequence relations
- Duality in finite many-valued logics
- scientific article; zbMATH DE number 3859090 (Why is no real title available?)
- ARBITRARY TRUTH-VALUE FUNCTIONS AND NATURAL DEDUCTION
- Natural deduction for the finite least fixed point logic with an infinitary rule
- scientific article; zbMATH DE number 3963798 (Why is no real title available?)
- Constructive natural deduction and its ‘ω-set’ interpretation
- R n - and G n -logics
- Natural deduction for three-valued regular logics
- Natural Deduction for Four-Valued both Regular and Monotonic Logics
- Normalisation for some quite interesting many-valued logics
- Propositional logics complexity and the sub-formula property
- scientific article; zbMATH DE number 6287639 (Why is no real title available?)
- On poly-logistic natural-deduction for finitely-valued propositional logics
- Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics
- Number of extensions of non-Fregean logics
- Correspondence analysis for some fragments of classical propositional logic
This page was built for publication: Finitely many-valued logics and natural deduction
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5176676)
