A single proof of classical behaviour in da Costa's C_n systems
From MaRDI portal
(Redirected from Publication:2520656)
A single proof of classical behaviour in da Costa's \(C n\) systems
A single proof of classical behaviour in da Costa's \(C n\) systems
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
- scientific article; zbMATH DE number 5997422 (Why is no real title available?)
- scientific article; zbMATH DE number 5519286 (Why is no real title available?)
- scientific article; zbMATH DE number 2019859 (Why is no real title available?)
- scientific article; zbMATH DE number 4114587 (Why is no real title available?)
- Ideal paraconsistent logics
- Limits for paraconsistent calculi
- On the theory of inconsistent formal systems
- Paraconsistency and duality: between ontological and epistemological views
- Revisiting \(\mathbb Z\)
- The paraconsistent logic of quantum superpositions
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^*\)
- scientific article; zbMATH DE number 150214 (Why is no real title available?)
- scientific article; zbMATH DE number 4139717 (Why is no real title available?)
- scientific article; zbMATH DE number 605211 (Why is no real title available?)
- 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)
