Variations on da Costa C systems and dual-intuitionistic logics. I: Analyses of \(C_{\omega}\) and \(CC_{\omega}\)

DOI10.1007/BF00401553zbMath0733.03016MaRDI QIDQ809995

Richard Routley

Publication date: 1990

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

collapseparaconsistencysemanticsparacompletenessnon-contradictionda Costa C systemsimpossible situationsintersubstitutivity of equivalentsvariations of da Costa's systems

Mathematics Subject Classification ID

Paraconsistent logics (03B53)

Related Items

Routley star and hyperintensionality ⋮ LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT ⋮ Negative Modalities in the Light of Paraconsistency ⋮ Empirical Negation, Co-negation and Contraposition Rule I: Semantical Investigations ⋮ Basic quasi-Boolean expansions of relevance logics ⋮ Limits for paraconsistent calculi ⋮ On Displaying Negative Modalities ⋮ A basic dual intuitionistic logic and some of its extensions included in \(\mathrm{G}3_{\mathrm{DH}}\) ⋮ Empirical Negation, Co-Negation and the Contraposition Rule II: Proof-Theoretical Investigations

Cites Work

• The foundations of mathematics. A study in the philosophy of science
• A semantical analysis of the calculi \(C_n\)
• Semantical analyses of propositional systems of Fitch and Nelson
• A calculus of antinomics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item