Positive abstraction and extensionality

DOI10.2178/JSL/1058448441MaRDI QIDQ3160572zbMATH OpenOpenAlexFDO

Authors Roland Hinnion, Thierry Libert

Publication date 9 February 2005

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

Full work available at URL https://projecteuclid.org/euclid.jsl/1058448441

Mathematics Subject Classification ID

Axiomatics of classical set theory and its fragments (03E30) Consistency and independence results (03E35)

Recommendations

• scientific article; zbMATH DE number 5316130
• The consistency problem for positive comprehension principles
• scientific article; zbMATH DE number 2115803
• On the axiom of extensionality in the positive set theory
• About a positive set theory with equality

Cites work

• scientific article; zbMATH DE number 4037855 (Why is no real title available?)
• scientific article; zbMATH DE number 3484054 (Why is no real title available?)
• Investigations on a comprehesnion axiom without negation in the defining propositional functions
• The consistency problem for positive comprehension principles

Cited in

(15)

• Models for a paraconsistent set theory
• Towards a non-classical meta-theory for substructural approaches to paradox
• Noncontractive classical logic
• Paths to triviality
• Naive set theory and nontransitive logic
• 2004 Summer Meeting of the Association for Symbolic Logic
• The consistency problem for positive comprehension principles
• Positive Frege and its Scott‐style semantics
• scientific article; zbMATH DE number 5316130 (Why is no real title available?)
• On the axiom of extensionality in the positive set theory
• Logical consequence and the paradoxes
• Assertion, Denial and Non-classical Theories
• scientific article; zbMATH DE number 4195909 (Why is no real title available?)
• A positive set theory with equality revisited
• Another remark on connexivity and set theory

This page was built for publication: Positive abstraction and extensionality

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3160572)