ZF and the axiom of choice in some paraconsistent set theories

DOI10.12775/LLP.2003.005zbMath1117.03346WikidataQ114007674 ScholiaQ114007674MaRDI QIDQ3592784

Thierry Libert

Publication date: 24 September 2007

Published in: Logic and Logical Philosophy (Search for Journal in Brave)

Mathematics Subject Classification ID

03E70: Nonclassical and second-order set theories

03B53: Paraconsistent logics

03E25: Axiom of choice and related propositions

Related Items

A strong model of paraconsistent logic, Models for a paraconsistent set theory