G
Gaisi Takeuti
Researcher at University of Illinois at Urbana–Champaign
Publications - 60
Citations - 1629
Gaisi Takeuti is an academic researcher from University of Illinois at Urbana–Champaign. The author has contributed to research in topics: Set theory & Bounded function. The author has an hindex of 18, co-authored 60 publications receiving 1595 citations.
Papers
More filters
Journal ArticleDOI
Intuitionistic fuzzy logic and intuitionistic fuzzy set theory
Gaisi Takeuti,Satoko Titani +1 more
TL;DR: From a logical standpoint, each logic has its corresponding set theory in which each logical operation is translated into a basic operation for set theory; namely, the relation ⊆ and = on sets are translation of the logical operations → and ↔.
Journal ArticleDOI
Bounded arithmetic and the polynomial hierarchy
TL;DR: The main tool is a Herbrand-type witnessing theorem for ∃∀∃Пbi-formulas provable in Ti2 where the witnessing functions are □pi+1.
Book ChapterDOI
Quantum Set Theory
TL;DR: This paper studies set theory based on quantum logic, which is the lattice of all closed linear subspaces of a Hilbert space and shows the fact that there are many complete Boolean algebras inside quantum logic.