A Taxonomy of C-Systems
A Taxonomy of C-Systems
复制标题
C 系统分类
DOI：
--
复制
发表时间：
2001
期刊：
影响因子：
--
通讯作者：
J. Martin Marcos
中科院分区：
文献类型：
--
作者：
W. Carnielli;J. Martin Marcos
对次协调逻辑基础的彻底调查。形式化地研究了逻辑原理之间的关系，引入了一种新的一致性概念，定义并研究了形式不一致性逻辑，以及C-系统和DC-系统的子类。文献中大量的次协调逻辑构成了C-系统。
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.