On poly-logistic natural-deduction for finitely-valued propositional logics
From MaRDI portal
Recommendations
Cited in
(13)- Calculi for many-valued logics
- Tree-like proof systems for finitely-many valued non-deterministic consequence relations
- Structural rules for multi-valued logics
- Bilateralism, trilateralism, multilateralism and poly-sequents
- Natural deduction systems of some logics with truth-value gluts and truth-value gaps
- scientific article; zbMATH DE number 446843 (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
- Natural Deduction for Four-Valued both Regular and Monotonic Logics
- Finitely many-valued logics and natural deduction
- Transparent truth-value predicates in multi-valued logics
- Truth-value constants in multi-valued logics
- On Beall's new interpretation of \(WK_{3}\)
This page was built for publication: On poly-logistic natural-deduction for finitely-valued propositional logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5869601)
