Paraconsistency and the C-systems of da Costa

DOI10.1305/ndjfl/1093635241zbMath0689.03011OpenAlexW2030320874MaRDI QIDQ1264139

Igor Urbas

Publication date: 1989

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093635241

zbMATH Keywords

paraconsistent logicC-systemsda Costa's systems \(C_ n\)intersubstitutivity property

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Related Items (8)

AN ABSTRACT ALGEBRAIC LOGIC STUDY OF DA COSTA’S LOGIC AND SOME OF ITS PARACONSISTENT EXTENSIONS ⋮ Self-extensional three-valued paraconsistent logics ⋮ LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT ⋮ Negative Modalities in the Light of Paraconsistency ⋮ Idempotent full paraconsistent negations are not algebraizable ⋮ On negation: Pure local rules ⋮ Two Genuine 3-Valued Paraconsistent Logics ⋮ Strong Three-Valued Paraconsistent Logics

This page was built for publication: Paraconsistency and the C-systems of da Costa