scientific article; zbMATH DE number 150214

zbMATH Open0769.03011MaRDI QIDQ4032846FDOQ4032846

Authors: Giovanni S. Queiroz, Elias Humberto Alves 

Publication date: 1 April 1993

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

Recommendations

• scientific article
• 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

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)

Cited In (4)

• Negation in weak positional calculi
• 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

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)