Variations on da Costa C systems and dual-intuitionistic logics. I: Analyses of C_ and CC_
Da Costa's hierarchy of paraconsistent systems \(C_ n\), \(1\leq n\leq \omega\), is presented and some of its main characteristics are discussed. The author argues that, in spite of their importance and strength, for some purposes the C systems have serious philosophical and technical drawbacks (like, for instance, their failing to guarantee intersubstitutivity of equivalents - SE). The aim of this paper is to introduce some variations of da Costa's systems, in an attempt to surmount those limitations considered. The systems \(CC_ n\), \(1\leq n\leq \omega\), are introduced; and as a natural consequence of their definition, it is proved that all the \(CC_ n\), \(1\leq n<\omega\), collapse to classical logic, what is avoided in \(CC_{\omega}\). The main system \(CC_{\omega}\), which in fact fails to meet one of da Costa's paraconsistent requirements of adequacy (non- contradiction \(\neg (A\&\neg A)\) is a theorem of \(CC_{\omega})\), is then investigated in some detail, ``dual-intuitionistic semantical analyses being developed for it and several surrounding systems. These semantics are then adapted, in two different ways, to the original C systems, in the second way through the introduction of impossible situations where \textit{and} and \textit{or} change their roles. Finally, the author presents other attempts to break out of impasses for the original and expanded C systems and proves that there is no extension of a \(C_ n\) system, \(1\leq n<\omega\), conforming to SE, weaker than classical logic.
- A calculus of antinomics
- A semantical analysis of the calculi \(C_n\)
- scientific article; zbMATH DE number 3697089 (Why is no real title available?)
- scientific article; zbMATH DE number 3545632 (Why is no real title available?)
- scientific article; zbMATH DE number 194679 (Why is no real title available?)
- scientific article; zbMATH DE number 3993534 (Why is no real title available?)
- scientific article; zbMATH DE number 3222098 (Why is no real title available?)
- scientific article; zbMATH DE number 3261581 (Why is no real title available?)
- scientific article; zbMATH DE number 3073037 (Why is no real title available?)
- Semantical analyses of propositional systems of Fitch and Nelson
- The foundations of mathematics. A study in the philosophy of science
- Weakening of intuitionistic negation for many-valued paraconsistent da Costa system
- Paraconsistency and the C-systems of da Costa
- Extensions of Priest-da Costa logic
- A basic dual intuitionistic logic and some of its extensions included in \(\mathrm{G}3_{\mathrm{DH}}\)
- Basic quasi-Boolean expansions of relevance logics
- A single proof of classical behaviour in da Costa's C_n systems
- Revisiting da Costa logic
- scientific article; zbMATH DE number 4139717 (Why is no real title available?)
- scientific article; zbMATH DE number 150214 (Why is no real title available?)
- scientific article; zbMATH DE number 4128790 (Why is no real title available?)
- scientific article; zbMATH DE number 700347 (Why is no real title available?)
- On displaying negative modalities
- Empirical Negation, Co-Negation and the Contraposition Rule II: Proof-Theoretical Investigations
- LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT
- Empirical negation, co-negation and contraposition rule. I: Semantical investigations
- Negative modalities in the light of paraconsistency
- A topological duality for the F-chains associated with the logic C_.
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty
- Variations on the calculi C_n of da Costa
- On duality of logical systems: paralogics
- Limits for paraconsistent calculi
- Gently paraconsistent extensions of C₁, intuitionistic implication, De Morgan laws, and the law of non-contradiction
- Routley star and hyperintensionality
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)
