Paraconsistent set theory by predicating on consistency

DOI10.1093/LOGCOM/EXT020zbMath1444.03148OpenAlexW2135435051MaRDI QIDQ2804321

Marcelo E. Coniglio, Walter Alexandre 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

Russell's paradoxlogics of formal inconsistencyparaconsistent set theoryfoundations of set theoryCantor's set theory

Mathematics Subject Classification ID

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

Related Items (5)

LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT ⋮ Classical logic is not uniquely characterizable ⋮ Prospects for Triviality ⋮ On the Philosophy and Mathematics of the Logics of Formal Inconsistency ⋮ Twist-Valued Models for Three-Valued Paraconsistent Set Theory

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