Dialetheias and numbers distinct from themselves

DOI10.1215/00294527-10670103OpenAlexW4382405500MaRDI QIDQ6165010

Uwe Petersen

Publication date: 28 July 2023

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1215/00294527-10670103

zbMATH Keywords

paradoxesdialetheismlogic of paradoxinconsistent arithmeticunrestricted abstraction

Mathematics Subject Classification ID

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

Cites Work

• Proof theory. 2nd ed
• The logic of paradox
• Is cut-free logic fit for unrestricted abstraction?
• Foundations of set theory. With the collaboration of Dirk van Dalen. 2nd revised ed

This page was built for publication: Dialetheias and numbers distinct from themselves