#### Logic Group

# Masaru Shirahata

## Research Fellow of the Japan Society for the Promotion of Science

#### sirahata@jaist.ac.jp

*Ph.D. Stanford University, 1994*

## Research Interests

- Linear logic
- Categorial logic
- The foundations of mathematics
- Theoretical computer science
- Behavior-based artificial intelligence

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.
## Publications

- 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.

## Profile

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
(sirahata@jaist.ac.jp).