Models for a paraconsistent set theory
From MaRDI portal
Recommendations
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)