Variations on da Costa C systems and dual-intuitionistic logics. I: Analyses of C_ and CC_

DOI10.1007/BF00401553zbMATH Open0733.03016MaRDI QIDQ809995FDOQ809995

Authors: Richard Sylvan 

Publication date: 1990

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

Recommendations

• Paraconsistency and the C-systems of da Costa
• Revisiting da Costa logic
• scientific article; zbMATH DE number 551010
• scientific article
• Publication:3472081

zbMATH Keywords

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

Mathematics Subject Classification ID

Paraconsistent logics (03B53)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A semantical analysis of the calculi \(C_n\)
• The foundations of mathematics. A study in the philosophy of science
• A calculus of antinomics
• Semantical analyses of propositional systems of Fitch and Nelson
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (19)

• Paraconsistency and the C-systems of da Costa
• Routley star and hyperintensionality
• Title not available (Why is that?)
• Negative modalities in the light of paraconsistency
• LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT
• A topological duality for the \(F\)-chains associated with the logic \(C_\omega\).
• Limits for paraconsistent calculi
• Basic quasi-Boolean expansions of relevance logics
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty
• Empirical Negation, Co-Negation and the Contraposition Rule II: Proof-Theoretical Investigations
• Title not available (Why is that?)
• Revisiting da Costa logic
• A basic dual intuitionistic logic and some of its extensions included in \(\mathrm{G}3_{\mathrm{DH}}\)
• Title not available (Why is that?)
• On displaying negative modalities
• Weakening of intuitionistic negation for many-valued paraconsistent da Costa system
• Extensions of Priest-da Costa logic
• A single proof of classical behaviour in da Costa's \(C_n\) systems
• Empirical negation, co-negation and contraposition rule. I: Semantical investigations

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q809995)