Naive set theory with extensionality in partial logic and in paradoxical logic

DOI10.1305/ndjfl/1040609292zbMath0801.03019OpenAlexW2031548494MaRDI QIDQ1333304

Roland Hinnion

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

zbMATH Keywords

extensionalitythree-valued logicparaconsistent logicFrege's comprehension principlefull naive set theory

Mathematics Subject Classification ID

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