A single proof of classical behaviour in da Costa's \(C_n\) systems

DOI10.1016/j.entcs.2015.06.002zbMath1352.03038OpenAlexW1244130385WikidataQ113317784 ScholiaQ113317784MaRDI QIDQ2520656

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

zbMATH Keywords

paraconsistent logicstrong negation\(C_n\) systems

Mathematics Subject Classification ID

Paraconsistent logics (03B53)

Cites Work

• The paraconsistent logic of quantum superpositions
• Ideal paraconsistent logics
• Limits for paraconsistent calculi
• Revisiting \(\mathbb Z\)
• On the theory of inconsistent formal systems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A single proof of classical behaviour in da Costa's \(C_n\) systems