Is Cantor's theorem a dialetheia? Variations on a paraconsistent approach to Cantor's theorem

DOI10.1017/S1755020323000187MaRDI QIDQ6638237

Uwe Petersen

Publication date: 14 November 2024

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

zbMATH Keywords

paraconsistent logicCantor's theoremunrestricted abstractiondialetheias

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Nonclassical and second-order set theories (03E70) Paraconsistent logics (03B53) Higher-order logic (03B16)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Proof theory. 2nd ed
• The logic of paradox
• Introduction to mathematical philosophy. 1. Auflage 1919, 2. Auflage 1920.
• Is cut-free logic fit for unrestricted abstraction?
• Transfinite cardinals in paraconsistent set theory
• ST, LP and Tolerant Metainferences
• Some Comments and Replies
• Syntactical and semantical properties of simple type theory

This page was built for publication: Is Cantor's theorem a dialetheia? Variations on a paraconsistent approach to Cantor's theorem

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