scientific article; zbMATH DE number 4029516

MaRDI QIDQ3770503zbMATH OpenFDO

Authors N. C. A. da Costa

Publication date 1986

zbMATH Keywords

consistent systemsinconsistent systemsNFnontrivial systemsparaconsistent logicsparaconsistent programmeparaconsistent set theoriesZF

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Consistency and independence results (03E35) Nonclassical and second-order set theories (03E70)

Recommendations

• scientific article; zbMATH DE number 605214
• Paraconsistent set theory
• Paraconsistent set theories
• Paraconsistent set theory by predicating on consistency
• Models for a paraconsistent set theory
• scientific article; zbMATH DE number 1434126
• scientific article; zbMATH DE number 16515
• scientific article; zbMATH DE number 3993578
• Conceptions and Paradoxes of Setst†

Cited in

(22)

• On the relevant systems P and P^* and some related systems
• A strictly finitary non-triviality proof for a paraconsistent system of set theory deductively equivalent to classical ZFC minus foundation
• Paradoxes in double extension set theories
• Paraconsistent set theory by predicating on consistency
• The inadequacy of a proposed paraconsistent set theory
• Reply to Bjørdal
• scientific article; zbMATH DE number 4130375 (Why is no real title available?)
• scientific article; zbMATH DE number 4130376 (Why is no real title available?)
• ZF and the axiom of choice in some paraconsistent set theories
• scientific article; zbMATH DE number 63607 (Why is no real title available?)
• scientific article; zbMATH DE number 605214 (Why is no real title available?)
• scientific article; zbMATH DE number 1735925 (Why is no real title available?)
• scientific article; zbMATH DE number 1550338 (Why is no real title available?)
• scientific article; zbMATH DE number 3993578 (Why is no real title available?)
• scientific article; zbMATH DE number 3997763 (Why is no real title available?)
• scientific article; zbMATH DE number 1874098 (Why is no real title available?)
• Notes on Inconsistent Set Theory
• scientific article; zbMATH DE number 1434126 (Why is no real title available?)
• Ayda Ignez Arruda and her professional and scientific history at Unicamp (1968--1983)
• A logical analysis of the Anselm's \textit{Unum argumentum} (from \textit{Proslogion})
• A defense of second-order logic
• Adaptive Fregean set theory

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3770503)