Journal ArticleDOI
A lattice-valued set theory
TLDR
In this paper, a lattice-valued set theory is formulated by introducing the logical implication $\to$ which represents the order relation on the lattice.Abstract:
A lattice-valued set theory is formulated by introducing the logical implication \(\to\) which represents the order relation on the lattice.read more
Citations
More filters
Journal ArticleDOI
Orthomodular-valued models for quantum set theory
TL;DR: In this paper, a generalization of the generalized transfer principle for Boolean-valued models of set theory has been proposed for quantum set theory, where the axioms of Zermelo-Fraenkel set theory with the axiom of choice hold in the model.
Logical Foundations of Fuzzy Mathematics
TL;DR: This document is intended for educational purposes only and should not be used as a source for libel or defamation purposes.
Posted Content
Twist-Valued Models for Three-valued Paraconsistent Set Theory
TL;DR: It is argued that the implication operator of LPT0 is more suitable for a paraconsistent set theory than the implication of PS3, since it allows for genuinely inconsistent sets w such that [(w = w)] = 1/2 .
Book ChapterDOI
Ordinals in an Algebra-Valued Model of a Paraconsistent Set Theory
Sourav Tarafder,Sourav Tarafder +1 more
TL;DR: It is proved that the collection of all ordinals is not a set in this model which is dissimilar to the other existing paraconsistent set theories.
Journal ArticleDOI
A Bridge Between Q-Worlds
TL;DR: In this paper, the authors provide a unifying framework that allows us to better understand the relationship between different Q-worlds, and define a general method for transferring concepts and results between TQT and QST, thereby significantly increasing the expressive power of both approaches.
References
More filters
Journal ArticleDOI
Globalization of intui tionistic set theory
Gaisi Takeuti,Satoko Titani +1 more
TL;DR: On presente une theorie intuitionniste des ensembles dans laquelle les concepts globaux sont exprimables.
Journal ArticleDOI
Completeness of global intuitionistic set theory
TL;DR: This paper discusses the logical system LJ in the classical set theory ZFC, in which φ ⇒ Ψ is a sentence, and postulates that the metatheory is based on classical logic.