scientific article; zbMATH DE number 4139717

MaRDI QIDQ3472081zbMATH OpenFDO

Authors Martin W. Bunder

Publication date 1989

zbMATH Keywords

paraconsistent logicsubsystemsconsistency operatorsDa Costa's logics \(C_ i\)supersystems

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Recommendations

• Paraconsistency and the C-systems of da Costa
• A single proof of classical behaviour in da Costa's C_n systems
• scientific article; zbMATH DE number 150214
• Analytical tableaux for da Costa's paraconsistent predicate calculi C\(_n^*\)
• Variations on da Costa C systems and dual-intuitionistic logics. I: Analyses of \(C_{\omega}\) and \(CC_{\omega}\)

Cited in

(8)

• Paraconsistency and the C-systems of da Costa
• scientific article; zbMATH DE number 4025408 (Why is no real title available?)
• scientific article; zbMATH DE number 4128790 (Why is no real title available?)
• Analytical tableaux for da Costa's hierarchy of paraconsistent logics \(C_n\), \(1\leq n<\omega\)
• scientific article; zbMATH DE number 150214 (Why is no real title available?)
• scientific article; zbMATH DE number 605211 (Why is no real title available?)
• A single proof of classical behaviour in da Costa's C_n systems
• scientific article; zbMATH DE number 4121969 (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 Q3472081)