REPLY TO BJØRDAL

DOI10.1017/S1755020310000304zbMATH Open1280.03032MaRDI QIDQ3006002FDOQ3006002

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)

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 (1)

• Title not available (Why is that?)

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)