Natural deduction systems of some logics with truth-value gluts and truth-value gaps

MaRDI QIDQ3108644zbMATH OpenFDO

Authors

Publication date 5 January 2012

Mathematics Subject Classification ID

Abstract deductive systems (03B22) Many-valued logic (03B50) Paraconsistent logics (03B53)

Recommendations

• Natural deduction systems for logics in the FDE family
• On poly-logistic natural-deduction for finitely-valued propositional logics
• Fitch-style natural deduction for modal paralogics
• Natural three-valued logics characterized by natural deduction
• Natural deduction for three-valued regular logics

Cited in

(6)

• Natural deduction systems for logics in the FDE family
• Glivenko like theorems in natural expansions of BCK-logic
• On bivalent semantics and natural deduction for some infectious logics
• Fitch-style natural deduction for modal paralogics
• Natural deduction systems for E
• Truth table logic, with a survey of embeddability results

This page was built for publication: Natural deduction systems of some logics with truth-value gluts and truth-value gaps

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3108644)