A Taxonomy of C-systems

Simple item page
dc.creatorCarnielli, W. A.
dc.creatorMarcos, J.
dc.date2001-08-06
dc.date.accessioned2026-07-07T04:42:53Z
dc.date.available2026-07-07T04:42:53Z
dc.descriptionA 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.
dc.description94 pages. This file was produced by Word, if you have trouble reading it contact <wacjm@yahoo.com>
dc.identifierhttps://arxiv.org/abs/math/0108036
dc.identifierhttp://arxiv.org/abs/math/0108036
dc.identifierIn: "Paraconsistency: The Logical Way to the Inconsistent", Proceedings of the II World Congress on Paraconsistency (WCP'2000), Marcel Dekker, 2001
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/61975
dc.subjectLogic
dc.subject03B53 (Primary) 03B22 (Secondary)
dc.titleA Taxonomy of C-systems
dc.typetext

Files

Collections

arXiv