A single proof of classical behaviour in da Costa's C_n systems
From MaRDI portal
Publication:2520656
DOI10.1016/J.ENTCS.2015.06.002zbMATH Open1352.03038OpenAlexW1244130385WikidataQ113317784 ScholiaQ113317784MaRDI QIDQ2520656FDOQ2520656
Authors: Mauricio Osorio, José Abel Castellanos 
Publication date: 16 December 2016
Full work available at URL: https://doi.org/10.1016/j.entcs.2015.06.002
Recommendations
- Paraconsistency and the C-systems of da Costa
- Publication:3472081
- Analytical tableaux for da Costa's hierarchy of paraconsistent logics \(C_n\), \(1\leq n<\omega\)
- scientific article; zbMATH DE number 150214
- Variations on da Costa C systems and dual-intuitionistic logics. I: Analyses of \(C_{\omega}\) and \(CC_{\omega}\)
Cites Work
- On the theory of inconsistent formal systems
- Limits for paraconsistent calculi
- Title not available (Why is that?)
- Revisiting \(\mathbb Z\)
- Ideal paraconsistent logics
- The paraconsistent logic of quantum superpositions
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Paraconsistency and duality: between ontological and epistemological views
Cited In (6)
- Analytical tableaux for da Costa's hierarchy of paraconsistent logics \(C_n\), \(1\leq n<\omega\)
- Analytical tableaux for da Costa's paraconsistent predicate calculi C\(_n^*\)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Some new results on PCL1 and its related systems
This page was built for publication: A single proof of classical behaviour in da Costa's \(C_n\) systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2520656)
