Notre Dame Journal of Formal Logic
- Notre Dame J. Formal Logic
- Volume 35, Number 1 (1994), 15-40.
Naive Set Theory with Extensionality in Partial Logic and in Paradoxical Logic
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.
Notre Dame J. Formal Logic, Volume 35, Number 1 (1994), 15-40.
First available in Project Euclid: 22 December 2002
Permanent link to this document
Digital Object Identifier
Mathematical Reviews number (MathSciNet)
Zentralblatt MATH identifier
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