Variations on da Costa C systems and dual-intuitionistic logics. I: Analyses of C_ and CC_
From MaRDI portal
Publication:809995
Recommendations
Cites work
- 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?)
- A calculus of antinomics
- A semantical analysis of the calculi \(C_n\)
- Semantical analyses of propositional systems of Fitch and Nelson
- The foundations of mathematics. A study in the philosophy of science
Cited in
(19)- Negative modalities in the light of paraconsistency
- Paraconsistency and the C-systems of da Costa
- Limits for paraconsistent calculi
- Extensions of Priest-da Costa logic
- Routley star and hyperintensionality
- A basic dual intuitionistic logic and some of its extensions included in \(\mathrm{G}3_{\mathrm{DH}}\)
- Weakening of intuitionistic negation for many-valued paraconsistent da Costa system
- A single proof of classical behaviour in da Costa's \(C_n\) systems
- scientific article; zbMATH DE number 4128790 (Why is no real title available?)
- On displaying negative modalities
- Empirical negation, co-negation and contraposition rule. I: Semantical investigations
- Revisiting da Costa logic
- 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\).
- Empirical Negation, Co-Negation and the Contraposition Rule II: Proof-Theoretical Investigations
- scientific article; zbMATH DE number 150214 (Why is no real title available?)
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty
- scientific article; zbMATH DE number 4139717 (Why is no real title available?)
- Basic quasi-Boolean expansions of relevance logics
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)
