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 |
Fingerprint
Dive into the research topics of 'A note on naive set theory in LP'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver