Models for a paraconsistent set theory

DOI10.1016/J.JAL.2004.07.010MaRDI QIDQ1775861zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• Paraconsistent set theories
• ZF and the axiom of choice in some paraconsistent set theories
• A strong model of paraconsistent logic
• Paraconsistent set theory
• A new paraconsistent set theory: ML\(_1\)

Cites work

• scientific article; zbMATH DE number 4130375 (Why is no real title available?)
• scientific article; zbMATH DE number 4130376 (Why is no real title available?)
• scientific article; zbMATH DE number 4037855 (Why is no real title available?)
• scientific article; zbMATH DE number 42735 (Why is no real title available?)
• scientific article; zbMATH DE number 3484054 (Why is no real title available?)
• scientific article; zbMATH DE number 1028815 (Why is no real title available?)
• scientific article; zbMATH DE number 1931874 (Why is no real title available?)
• scientific article; zbMATH DE number 952378 (Why is no real title available?)
• scientific article; zbMATH DE number 782632 (Why is no real title available?)
• scientific article; zbMATH DE number 821282 (Why is no real title available?)
• A Cook's tour of the finitary non-well-founded sets
• A general construction of hyperuniverses
• A note on naive set theory in LP
• A strong model of paraconsistent logic
• Naive set theory with extensionality in partial logic and in paradoxical logic
• Natural 3-valued logics—characterization and proof theory
• Non-well-founded sets modeled as ideal fixed points
• Paraconsistency: Towards a tentative interpretation
• Positive abstraction and extensionality
• Saving the truth schema from paradox
• Semantics for naive set theory in many-valued logics. Technique and historical account.
• Solving reflexive domain equations in a category of complete metric spaces
• The consistency problem for positive comprehension principles
• The logic of paradox
• The simple consistency of a set theory based on the logic CSQ
• Toward useful type-free theories. I
• ZF and the axiom of choice in some paraconsistent set theories

Cited in

(19)

• A strong model of paraconsistent logic
• A BRIDGE BETWEEN Q-WORLDS
• scientific article; zbMATH DE number 1434126 (Why is no real title available?)
• scientific article; zbMATH DE number 4029516 (Why is no real title available?)
• Extensionality and restriction in naive set theory
• Three new genuine five-valued logics intended to model non-trivial concepts
• Reply to Bjørdal
• scientific article; zbMATH DE number 605214 (Why is no real title available?)
• A CLASS OF MODELS FOR SKALA'S SET THEORY
• Bi-modal naive set theory
• Generalized algebra-valued models of set theory
• Omega‐ and Beta‐Models of Alternative Set Theory
• NON-CLASSICAL FOUNDATIONS OF SET THEORY
• Transfinite numbers in paraconsistent set theory
• Models of PA: Standard Systems without Minimal Ultrafilters
• Topological models for extensional partial set theory
• Twist-valued models for three-valued paraconsistent set theory
• ZF and the axiom of choice in some paraconsistent set theories
• Naïve set theory, paraconsistency and indeterminacy. I

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

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