Abstract
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.
| Original language | English |
|---|---|
| Pages (from-to) | 422-432 |
| Number of pages | 11 |
| Journal | Notre Dame Journal of Formal Logic |
| Volume | 33 |
| Issue number | 3 |
| DOIs | |
| Publication status | Published - 1992 |