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. © 1994, Duke University Press. All Rights Reserved.
[1] Roland Hinnion. Stratified and positive comprehension seen as superclass rules over ordinary set theory , 1990, Math. Log. Q..
[2] Marco Forti,et al. The Consistency Problem for Positive Comprehension Principles , 1989, J. Symb. Log..
[3] G. Lenzi. Weydert's SF3 has no recursive term model , 1992 .
[4] Ayda I. Arruda,et al. A survey of Paraconsistent Logic (1) , 1980 .