Satoko Titani

Publication Activity (10 Years)

Years Active: 1973-2013
Publications (10 Years): 0

Top Topics

Complex Systems

Asynchronous Circuits

Quantum Computation

Top Venues

Publications

Satoko Titani, Heiji Kodera, Hiroshi Aoyama
Systems of Quantum Logic. Stud Logica 101 (1) (2013)
Satoko Titani
A lattice-valued set theory. Arch. Math. Log. 38 (6) (1999)
Satoko Titani
Completeness of Global Intuitionistic Set Theory. J. Symb. Log. 62 (2) (1997)
Gaisi Takeuti, Satoko Titani
Fuzzy logic and fuzzy set theory. Arch. Math. Log. 32 (1) (1992)
Gaisi Takeuti, Satoko Titani
Globalization of intui tionistic set theory. Ann. Pure Appl. Log. 33 (1987)
Gaisi Takeuti, Satoko Titani
Global intuitionistic analysis. Ann. Pure Appl. Log. 31 (1986)
Gaisi Takeuti, Satoko Titani
Intuitionistic Fuzzy Logic and Intuitionistic Fuzzy Set Theory. J. Symb. Log. 49 (3) (1984)
Satoko Titani
A Proof of the Cut-Elimination Theorem in Simple Type Theory. J. Symb. Log. 38 (2) (1973)