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
• scientific article; zbMATH DE number 4139717
• 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

(6)

• Two decision procedures for da Costa's \(C_n\) Logics based on restricted Nmatrix semantics
• A single proof of classical behaviour in da Costa's C_n systems
• scientific article; zbMATH DE number 4139717 (Why is no real title available?)
• scientific article; zbMATH DE number 605211 (Why is no real title available?)
• Negation in weak positional calculi
• Variations on the calculi C_n of da Costa

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)