Mathematics – Logic
Scientific paper
2001-08-06
In: "Paraconsistency: The Logical Way to the Inconsistent", Proceedings of the II World Congress on Paraconsistency (WCP'2000)
Mathematics
Logic
94 pages. This file was produced by Word, if you have trouble reading it contact <wacjm@yahoo.com>
Scientific paper
A thorough investigation of the foundations of paraconsistent logics. Relations between logical principles are formally studied, a novel notion of consistency is introduced, the logics of formal inconsistency, and the subclasses of C-systems and dC-systems are defined and studied. An enormous variety of paraconsistent logics in the literature is shown to constitute C-systems.
Carnielli W. A.
Marcos Jordi
No associations
LandOfFree
A Taxonomy of C-systems does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with A Taxonomy of C-systems, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A Taxonomy of C-systems will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-270837