scientific article; zbMATH DE number 4139717

zbMATH Open0696.03010MaRDI QIDQ3472081FDOQ3472081

Authors: Martin W. Bunder 

Publication date: 1989

Title of this publication is not available (Why is that?)

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}\)

zbMATH Keywords

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

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Cited In (8)

• Paraconsistency and the C-systems of da Costa
• Title not available (Why is that?)
• Title not available (Why is that?)
• Analytical tableaux for da Costa's hierarchy of paraconsistent logics \(C_n\), \(1\leq n<\omega\)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A single proof of classical behaviour in da Costa's \(C_n\) systems
• Title not available (Why is that?)

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)