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