Naive set theory with extensionality in partial logic and in paradoxical logic
From MaRDI portal
Publication:1333304
DOI10.1305/ndjfl/1040609292zbMath0801.03019OpenAlexW2031548494MaRDI QIDQ1333304
Publication date: 13 September 1994
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1040609292
extensionalitythree-valued logicparaconsistent logicFrege's comprehension principlefull naive set theory
Nonclassical and second-order set theories (03E70) Many-valued logic (03B50) Paraconsistent logics (03B53)
Related Items
A strong model of paraconsistent logic ⋮ Models for a paraconsistent set theory ⋮ A positive set theory with equality revisited ⋮ On a positive set theory with inequality ⋮ Cuts and gluts