Paraconsistent set theory by predicating on consistency

DOI10.1093/LOGCOM/EXT020MaRDI QIDQ2804321zbMATH OpenOpenAlexFDO

Authors Marcelo E. Coniglio, Walter Carnielli

Publication date 28 April 2016

Published in Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/e92676b3bd234ccc72036bac8f4e57ccaf2b5ca8

zbMATH Keywords

logics of formal inconsistencyparaconsistent set theoryfoundations of set theoryCantor's set theoryRussell's paradox

Mathematics Subject Classification ID

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

Recommendations

• Paraconsistent set theories
• Paraconsistent set theory
• scientific article; zbMATH DE number 605214
• scientific article; zbMATH DE number 4029516
• A new paraconsistent set theory: ML₁

Cited in

(15)

• scientific article; zbMATH DE number 605214 (Why is no real title available?)
• LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT
• A new paraconsistent set theory: ML₁
• scientific article; zbMATH DE number 6863636 (Why is no real title available?)
• Paraconsistent and paracomplete Zermelo-Fraenkel set theory
• Critical math kinds: a framework for the philosophy of alternative mathematics
• Prospects for triviality
• scientific article; zbMATH DE number 1434126 (Why is no real title available?)
• scientific article; zbMATH DE number 1874098 (Why is no real title available?)
• A SIMPLE APPROACH TOWARDS RECAPTURING CONSISTENT THEORIES IN PARACONSISTENT SETTINGS
• Classical logic is not uniquely characterizable
• Twist-valued models for three-valued paraconsistent set theory
• On the philosophy and mathematics of the logics of formal inconsistency
• Paraconsistent set theory
• scientific article; zbMATH DE number 4029516 (Why is no real title available?)

This page was built for publication: Paraconsistent set theory by predicating on consistency

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