| |
| 1999 | ||
|---|---|---|
| 4 | EE | Satoko Titani: A lattice-valued set theory. Arch. Math. Log. 38(6): 395-421 (1999) |
| 1997 | ||
| 3 | Satoko Titani: Completeness of Global Intuitionistic Set Theory. J. Symb. Log. 62(2): 506-528 (1997) | |
| 1984 | ||
| 2 | Gaisi Takeuti, Satoko Titani: Intuitionistic Fuzzy Logic and Intuitionistic Fuzzy Set Theory. J. Symb. Log. 49(3): 851-866 (1984) | |
| 1973 | ||
| 1 | Satoko Titani: A Proof of the Cut-Elimination Theorem in Simple Type Theory. J. Symb. Log. 38(2): 215-226 (1973) | |
| 1 | Gaisi Takeuti | [2] |