scientific article; zbMATH DE number 150214

MaRDI QIDQ4032846zbMATH OpenFDO

Authors Giovanni S. Queiroz, Elias Humberto Alves

Publication date 1 April 1993

zbMATH Keywords

da Costa's paraconsistent logicsHeyting's intuitionistic calculus

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Recommendations

• scientific article; zbMATH DE number 4016868
• Publication:3472081
• Variations on da Costa C systems and dual-intuitionistic logics. I: Analyses of \(C_{\omega}\) and \(CC_{\omega}\)
• Paraconsistency and the C-systems of da Costa
• A single proof of classical behaviour in da Costa's \(C_n\) systems

Cited in

(4)

• A single proof of classical behaviour in da Costa's \(C_n\) systems
• scientific article; zbMATH DE number 605211 (Why is no real title available?)
• scientific article; zbMATH DE number 4139717 (Why is no real title available?)
• Negation in weak positional calculi

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 Q4032846)