A Note on Naive Set Theory in LP
A Note on Naive Set Theory in LP
复制标题
LP中朴素集合论的注解
DOI：
10.1305/ndjfl/1093634406
复制
发表时间：
1992
期刊：
影响因子：
--
通讯作者：
Greg Restall
中科院分区：
文献类型：
--
作者：
Greg Restall
最近，人们对非标准逻辑中的朴素集合论产生了很大的兴趣。本文通过考虑具有基于次相容逻辑 LP 的一般理解模式的集合论来延续这一趋势。我们证明了如此表述的集合论的非平凡性，推导了这个集合系统的一些基本性质，并且还描述了这种方法的一些问题。
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.