Research Fellow of the Japan Society for the Promotion of Science
Ph.D. Stanford University, 1994
I am mainly interested in the new approaches to logic and mathematics,
which take into account the computational (intensional) aspects more
fully than the existing set-theoretical foundations.
- Linear logic
- Categorial logic
- The foundations of mathematics
- Theoretical computer science
- Behavior-based artificial intelligence
- Linear Set Theory, dissertation, Department of Philosophy, Stanford University, May 1994.
- Linear logic and set-theoretical paradoxes (in Japanese), Annals of Kansai
Philosophical Association, 1994.
- A linear conservative extension of Zermelo-Fraenkel set theory, (subject to revision), Studia Logica.
B.Litt. Kyoto University 1984,
M.Litt. Kyoto University 1986, Fulbright exchange student 1988-1993,
Ph.D. Stanford University 1994,
JSPS research fellow 1995-.
Last modified: July 12, 1995 by Masaru Shirahata