GENERALIZED ALGEBRA-VALUED MODELS OF SET THEORY

DOI10.1017/S175502031400046XzbMath1375.03066MaRDI QIDQ5247349

Sourav Tarafder, Benedikt Loewe

Publication date: 24 April 2015

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

zbMATH Keywords

paraconsistent logicparaconsistent set theorybounded quantificationlattice-valued models

Mathematics Subject Classification ID

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

Related Items

Ideal objects for set theory, NON-CLASSICAL FOUNDATIONS OF SET THEORY, \(\mathsf{ZF}\) and its interpretations, INDEPENDENCE PROOFS IN NON-CLASSICAL SET THEORIES, A BRIDGE BETWEEN Q-WORLDS, On negation for non-classical set theories, Constructing illoyal algebra-valued models of set theory, Non-classical models of \(\mathsf{ZF}\), A Paraconsistent Logic Obtained from an Algebra-Valued Model of Set Theory, Twist-Valued Models for Three-Valued Paraconsistent Set Theory, ZF between classicality and non-classicality

Cites Work

• Unnamed Item
• Unnamed Item
• Extensionality and restriction in naive set theory
• A note on naive set theory in LP
• A lattice-valued set theory
• Fuzzy logic and fuzzy set theory
• Quantum set theory
• Models for a paraconsistent set theory
• TRANSFINITE NUMBERS IN PARACONSISTENT SET THEORY
• An alternative approach for quasi-truth
• Transfer principle in quantum set theory