Reply to Bjørdal

DOI10.1017/S1755020310000304MaRDI QIDQ3006002zbMATH OpenFDO

Authors Zach Weber

Publication date 10 June 2011

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

zbMATH Keywords

paraconsistent logicparadoxesPeano arithmeticaxiom of choiceordinal arithmeticparaconsistent set theoryaxiomatics of naive set theoryfull comprehension principle

Mathematics Subject Classification ID

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

Recommendations

• The inadequacy of a proposed paraconsistent set theory
• Paraconsistent set theory
• Notes on Inconsistent Set Theory
• scientific article; zbMATH DE number 4029516
• Extensionality and restriction in naive set theory

Cites work

• Extensionality and restriction in naive set theory
• Logic without contraction as based on inclusion and unrestricted abstraction
• Models for a paraconsistent set theory
• Relevant identity
• Relevant predication. I: The formal theory
• Semantics for relevance logic with identity
• The Axiom of Comprehension in Infinite Valued Logic.
• The consistency of the axiom of comprehension in the infinite-valued predicate logic of Lukasiewicz
• The inadequacy of a proposed paraconsistent set theory
• Transfinite numbers in paraconsistent set theory

Cited in

(2)

• scientific article; zbMATH DE number 5902351 (Why is no real title available?)
• The inadequacy of a proposed paraconsistent set theory

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)