scientific article; zbMATH DE number 4142015

MaRDI QIDQ3474641zbMATHFDO

Authors Itala D'Ottaviano, Richard L. Epstein

Publication date 1988

zbMATH Keywords

consistencycompletenessparaconsistent logicthree-valued logicaxiomatizationsset-assignment semanticsdefault truth-valueinterdefinabilitypropositional calculus \(J_3\)

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Many-valued logic (03B50)

Recommendations

• scientific article; zbMATH DE number 3993546
• scientific article; zbMATH DE number 1775473
• Jaśkowski's criterion and three-valued paraconsistent logics
• scientific article; zbMATH DE number 3954877
• Definability and quantifier elimination for \(J_ 3\)-theories

Cited in

(10)

• Jaśkowski's criterion and three-valued paraconsistent logics
• Paraconsistent logics and translations
• Tutorial on Inconsistency-Adaptive Logics
• Two, Many, and Differently Many
• An approach to paraconsistent multivalued logic: evaluation by complex truth values
• The hilbert type axiomatization of some three‐valued propositional logic
• scientific article; zbMATH DE number 1775473 (Why is no real title available?)
• Definability and quantifier elimination for \(J_ 3\)-theories
• The logic of pragmatic truth
• scientific article; zbMATH DE number 3954877 (Why is no real title available?)

This page was built for publication:

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