A Taxonomy of C-systems
逻辑
2007-05-23 v1
摘要
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.
引用
@article{arxiv.math/0108036,
title = {A Taxonomy of C-systems},
author = {W. A. Carnielli and J. Marcos},
journal= {arXiv preprint arXiv:math/0108036},
year = {2007}
}
备注
94 pages. This file was produced by Word, if you have trouble reading it contact <[email protected]>