Strong, universal and provably non-trivial set theory by means of adaptive logic

DOI10.1093/JIGPAL/JZS025zbMath1284.03240OpenAlexW2098017273MaRDI QIDQ4925162

Peter Verdée

Publication date: 11 June 2013

Published in: Logic Journal of IGPL (Search for Journal in Brave)

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

zbMATH Keywords

ZFCset theoryadaptive logicCurry's paradoxaxiom of foundationnon-triviality

Mathematics Subject Classification ID

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

Related Items (6)

Paraconsistent logic ⋮ Adaptive Fregean set theory ⋮ Non-monotonic set theory as a pragmatic foundation of mathematics ⋮ Tutorial on Inconsistency-Adaptive Logics ⋮ Some Adaptive Contributions to Logics of Formal Inconsistency ⋮ REMARKS ON NAIVE SET THEORY BASED ONLP

This page was built for publication: Strong, universal and provably non-trivial set theory by means of adaptive logic