TRANSFINITE NUMBERS IN PARACONSISTENT SET THEORY
From MaRDI portal
Publication:3550706
DOI10.1017/S1755020309990281zbMath1197.03026MaRDI QIDQ3550706
Publication date: 1 April 2010
Published in: The Review of Symbolic Logic (Search for Journal in Brave)
paradoxesordinal arithmeticPeano arithmeticaxiom of choiceparaconsistent logicaxiomatics of naive set theoryfull comprehension principle
Axiomatics of classical set theory and its fragments (03E30) Nonclassical and second-order set theories (03E70) Paraconsistent logics (03B53)
Related Items
Paraconsistent logic, TRANSFINITE CARDINALS IN PARACONSISTENT SET THEORY, Adaptive Fregean set theory, Non-monotonic set theory as a pragmatic foundation of mathematics, Metatheory and dialetheism, Paraconsistent metatheory: new proofs with old tools, NAIVE SET THEORY AND NONTRANSITIVE LOGIC, Towards a Paraconsistent Quantum Set Theory, From the Foundations of Mathematics to Mathematical Pluralism, Classical logic is not uniquely characterizable, Reflections on Orlov, A BRIDGE BETWEEN Q-WORLDS, Adaptive Logics as a Necessary Tool for Relative Rationality: Including a Section on Logical Pluralism, Looting Liars Masking Models, A Model-Theoretic Analysis of Fidel-Structures for mbC, The Difficulties in Using Weak Relevant Logics for Naive Set Theory, Some Comments and Replies, THE INADEQUACY OF A PROPOSED PARACONSISTENT SET THEORY, REPLY TO BJØRDAL, Towards a non-classical meta-theory for substructural approaches to paradox, Sets and supersets, Real analysis in paraconsistent logic, Extensionality and restriction in naive set theory, Inconsistency in mathematics and the mathematics of inconsistency, Indefinite extensibility -- dialetheic style, THE RELEVANT FRAGMENT OF FIRST ORDER LOGIC, From Paraconsistent Logic to Dialetheic Logic, GENERALIZED ALGEBRA-VALUED MODELS OF SET THEORY, REMARKS ON NAIVE SET THEORY BASED ONLP, Revisiting Semilattice Semantics
Cites Work
