A strictly finitary non-triviality proof for a paraconsistent system of set theory deductively equivalent to classical ZFC minus foundation

DOI10.1007/s001530050166zbMath0974.03045OpenAlexW2014156555MaRDI QIDQ1590193

Arief Daynes

Publication date: 18 December 2001

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s001530050166

zbMATH Keywords

paraconsistent logicparaconsistent set theory

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Paraconsistent logics (03B53)

Related Items

TRANSFINITE CARDINALS IN PARACONSISTENT SET THEORY