Models for a paraconsistent set theory

DOI10.1016/j.jal.2004.07.010zbMath1063.03040OpenAlexW2075364971MaRDI QIDQ1775861

Thierry Libert

Publication date: 4 May 2005

Published in: Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jal.2004.07.010

zbMATH Keywords

Paraconsistent logicNaive set theoryTopological models

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Paraconsistent logics (03B53)

Related Items (8)

Three new genuine five-valued logics intended to model non-trivial concepts ⋮ NON-CLASSICAL FOUNDATIONS OF SET THEORY ⋮ A BRIDGE BETWEEN Q-WORLDS ⋮ TRANSFINITE NUMBERS IN PARACONSISTENT SET THEORY ⋮ REPLY TO BJØRDAL ⋮ Extensionality and restriction in naive set theory ⋮ GENERALIZED ALGEBRA-VALUED MODELS OF SET THEORY ⋮ Twist-Valued Models for Three-Valued Paraconsistent Set Theory

Cites Work

• A strong model of paraconsistent logic
• Solving reflexive domain equations in a category of complete metric spaces
• Non-well-founded sets modeled as ideal fixed points
• The simple consistency of a set theory based on the logic CSQ
• A note on naive set theory in LP
• The logic of paradox
• Naive set theory with extensionality in partial logic and in paradoxical logic
• A general construction of hyperuniverses
• Saving the truth schema from paradox
• A Cook's Tour of the Finitary Non-Well-Founded Sets
• Positive abstraction and extensionality
• The consistency problem for positive comprehension principles
• ZF and the axiom of choice in some paraconsistent set theories
• Toward useful type-free theories. I
• Natural 3-valued logics—characterization and proof theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Models for a paraconsistent set theory