Revisitando \(C_1\)

Paraconsistent logic is a non-classical logic that formalizes inconsistent but non-trivial theories. Particular features from these systems allow one to describe non-explosive theories in the classical sense, i.e. anything follows from a contradiction, while keeping deducing information from contradictory propositions.

This thesis explores the logic \(C_1\) introduced by Newton da. Costa. We studied extensions of the logic to predicate logic without equality.

Recommended citation: Castellanos Joo, Jose A.. "Revisitando C_1" (2024). https://catarina.udlap.mx/u_dl_a/tales/documentos/lsi/castellanos_j_ja/
Download Paper