Satoko Titani

According to our database, Satoko Titani authored at least 8 papers between 1973 and 2013.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2013

Systems of Quantum Logic.

Satoko Titani, Heiji Kodera, Hiroshi Aoyama

Stud Logica, 2013

1999

A lattice-valued set theory.

Satoko Titani

Arch. Math. Log., 1999

1997

Completeness of Global Intuitionistic Set Theory.

Satoko Titani

J. Symb. Log., 1997

1992

Fuzzy logic and fuzzy set theory.

Gaisi Takeuti, Satoko Titani

Arch. Math. Log., 1992

1987

Globalization of intui tionistic set theory.

Gaisi Takeuti, Satoko Titani

Ann. Pure Appl. Log., 1987

1986

Global intuitionistic analysis.

Gaisi Takeuti, Satoko Titani

Ann. Pure Appl. Log., 1986

1984

Intuitionistic Fuzzy Logic and Intuitionistic Fuzzy Set Theory.

Gaisi Takeuti, Satoko Titani

J. Symb. Log., 1984

1973

A Proof of the Cut-Elimination Theorem in Simple Type Theory.

Satoko Titani

J. Symb. Log., 1973