Satoko Titani

	1999
4		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)

Coauthor Index

1

Gaisi Takeuti

[2]