A Taxonomy of C-systems
W. A. Carnielli, J. Marcos
Abstract
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.
Create a lesson
Related papers
Internal Languages for Thin Epsilon-Hyperdoctrines: Soundness, Completeness, and Rocq Formalization
Zoltán Gábor Molnár, Csaba Tóth
Nonstandard combinatorial ultrafilters and a new local witness model
Johannes Heil, Moritz Müller
A Countable Three-Generated Orthomodular Lattice with No σ-Complete Embedding
Joaquim Reizi Higuchi
Order-preserving maps of the Turing degrees: regularity and consistency strength
Liang Yu
A Nullstellensatz for the field of complex Laurent series
Pablo Cubides Kovacsics, Sebastián Uribe Rincón
Controlling The Skips of Arithmetic Sets
Taeyoung Em