Notre Dame Journal of Formal Logic

Naive Set Theory with Extensionality in Partial Logic and in Paradoxical Logic

Roland Hinnion

Full-text: Open access

Abstract

Two distinct and apparently "dual" traditions of non-classical logic, three-valued logic and paraconsistent logic, are considered here and a unified presentation of "easy-to-handle" versions of these logics is given, in which full naive set theory, i.e. Frege's comprehension principle + extensionality, is not absurd.

Article information

Source
Notre Dame J. Formal Logic, Volume 35, Number 1 (1994), 15-40.

Dates
First available in Project Euclid: 22 December 2002

Permanent link to this document
https://projecteuclid.org/euclid.ndjfl/1040609292

Digital Object Identifier
doi:10.1305/ndjfl/1040609292

Mathematical Reviews number (MathSciNet)
MR1271696

Zentralblatt MATH identifier
0801.03019

Subjects
Primary: 03B53: Paraconsistent logics
Secondary: 03B50: Many-valued logic 03E70: Nonclassical and second-order set theories

Citation

Hinnion, Roland. Naive Set Theory with Extensionality in Partial Logic and in Paradoxical Logic. Notre Dame J. Formal Logic 35 (1994), no. 1, 15--40. doi:10.1305/ndjfl/1040609292. https://projecteuclid.org/euclid.ndjfl/1040609292


Export citation