A note on naive set theory in LP
Notre Dame Journal of Formal Logic | Published : 1992
Recently there has been much interest in naive set theory in nonstandard logics. This note continues this trend by considering a set theory with a general comprehension schema based on the paraconsistent logic LP. We demonstrate the nontriviality of the set theory so formulated, deduce some elementary properties of this system of sets, and also delineate some of the problems of this approach. © 1992 by the University of Notre Dame. All rights reserved.