REPLY TO BJØRDAL

DOI10.1017/S1755020310000304zbMath1280.03032MaRDI QIDQ3006002

Zach Weber

Publication date: 10 June 2011

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

zbMATH Keywords

paradoxesordinal arithmeticPeano arithmeticaxiom of choiceparaconsistent logicparaconsistent set theoryaxiomatics of naive set theoryfull comprehension principle

Mathematics Subject Classification ID

Axiomatics of classical set theory and its fragments (03E30) Nonclassical and second-order set theories (03E70) Paraconsistent logics (03B53)

Cites Work

• 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
• Relevant identity
• Logic without contraction as based on inclusion and unrestricted abstraction
• Models for a paraconsistent set theory
• THE INADEQUACY OF A PROPOSED PARACONSISTENT SET THEORY
• TRANSFINITE NUMBERS IN PARACONSISTENT SET THEORY
• The Axiom of Comprehension in Infinite Valued Logic.

This page was built for publication: REPLY TO BJØRDAL