A Proof of the Cut-Elimination Theorem in Simple Type Theory. - Satoko Titani (J. Symb. Log., 1973)

Intuitionistic Fuzzy Logic and Intuitionistic Fuzzy Set Theory. - Gaisi Takeuti; Satoko Titani (J. Symb. Log., 1984)

Global intuitionistic analysis. - Gaisi Takeuti; Satoko Titani (Ann. Pure Appl. Log., 1986)

Globalization of intui tionistic set theory. - Gaisi Takeuti; Satoko Titani (Ann. Pure Appl. Log., 1987)

Fuzzy logic and fuzzy set theory. - Gaisi Takeuti; Satoko Titani (Arch. Math. Log., 1992)

Completeness of Global Intuitionistic Set Theory. - Satoko Titani (J. Symb. Log., 1997)

A lattice-valued set theory. - Satoko Titani (Arch. Math. Log., 1999)

Systems of Quantum Logic. - Satoko Titani; Heiji Kodera; Hiroshi Aoyama (Stud Logica, 2013)