Many-valued paraconsistent extensions of classical positive propositional Calculus

MaRDI QIDQ5869600zbMATH OpenFDO

Authors Leonid Yu. Devyatkin

Publication date 28 September 2022

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Recommendations

• Three-valued paraconsistent propositional logics
• Non-classical modifications of many-valued matrices of the classical propositional logic. I.
• Non-classical modifications of many-valued matrices of the classical propositional logic. II
• scientific article; zbMATH DE number 1775473
• n-valued maximal paraconsistent matrices

Cited in

(8)

• Paraconsistency and the need for infinite semantics
• Non-classical modifications of many-valued matrices of the classical propositional logic. I.
• Literal-paraconsistent and literal-paracomplete matrices
• n-valued matrices for the classical propositional logic
• Three-valued paraconsistent propositional logics
• Non-classical modifications of many-valued matrices of the classical propositional logic. II
• n-valued maximal paraconsistent matrices
• scientific article; zbMATH DE number 2213620 (Why is no real title available?)

This page was built for publication: Many-valued paraconsistent extensions of classical positive propositional Calculus

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