Extensionality and restriction in naive set theory

DOI10.1007/s11225-010-9225-yzbMath1200.03021OpenAlexW2066673753MaRDI QIDQ965901

Zach Weber

Publication date: 26 April 2010

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-010-9225-y

zbMATH Keywords

relevant logicparaconsistent logicrestricted quantificationtrivialitynaive set theory

Mathematics Subject Classification ID

Axiomatics of classical set theory and its fragments (03E30) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Paraconsistent logics (03B53)

Related Items

TRANSFINITE CARDINALS IN PARACONSISTENT SET THEORY, Adaptive Fregean set theory, Paths to triviality, Non-monotonic set theory as a pragmatic foundation of mathematics, ABSOLUTE CONTRADICTION, DIALETHEISM, AND REVENGE, Free of Detachment: Logic, Rationality, and Gluts, K3, Ł3, LP, RM3, A3, FDE, M: How to Make Many-Valued Logics Work for You, Paraconsistent or Paracomplete?, Looting Liars Masking Models, At the Limits of Thought, REPLY TO BJØRDAL, Sets and supersets, Making Sense of Paraconsistent Logic: The Nature of Logic, Classical Logic and Paraconsistent Logic, A SIMPLE APPROACH TOWARDS RECAPTURING CONSISTENT THEORIES IN PARACONSISTENT SETTINGS, GENERALIZED ALGEBRA-VALUED MODELS OF SET THEORY, Revisiting Semilattice Semantics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The consistency of the axiom of comprehension in the infinite-valued predicate logic of Lukasiewicz
• Relevant restricted quantification
• Relevant predication. I: The formal theory
• Sense, entailment and modus ponens
• Semantics for relevance logic with identity
• Relevant identity
• Logic without contraction as based on inclusion and unrestricted abstraction
• Naïve comprehension and contracting implications
• Models for a paraconsistent set theory
• TRANSFINITE NUMBERS IN PARACONSISTENT SET THEORY
• The Axiom of Comprehension in Infinite Valued Logic.
• The inconsistency of certain formal logics