Reply to Bjørdal
From MaRDI portal
Publication:3006002
DOI10.1017/S1755020310000304zbMATH Open1280.03032MaRDI QIDQ3006002FDOQ3006002
Authors: Zach Weber
Publication date: 10 June 2011
Published in: The Review of Symbolic Logic (Search for Journal in Brave)
Recommendations
paraconsistent logicparadoxesPeano arithmeticaxiom of choiceordinal arithmeticparaconsistent set theoryaxiomatics of naive set theoryfull comprehension principle
Paraconsistent logics (03B53) Nonclassical and second-order set theories (03E70) Axiomatics of classical set theory and its fragments (03E30)
Cites Work
- Transfinite numbers in paraconsistent set theory
- Logic without contraction as based on inclusion and unrestricted abstraction
- The consistency of the axiom of comprehension in the infinite-valued predicate logic of Lukasiewicz
- Extensionality and restriction in naive set theory
- Relevant predication. I: The formal theory
- Semantics for relevance logic with identity
- The Axiom of Comprehension in Infinite Valued Logic.
- Relevant identity
- Models for a paraconsistent set theory
- The inadequacy of a proposed paraconsistent set theory
Cited In (2)
This page was built for publication: Reply to Bjørdal
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3006002)