Masaru Shirahata, Ph.D.

Associate professor, Faculty of Business and Commerce, Keio University

B.A. 1984, M.A, 1986, Kyoto University

Ph.D. 1994, Stanford University

I am mainly interested in the non-classical foundations of mathematics and semantics. More specifically, I am now working on the game semantics of arithmetic (as mathematical work), and "feature-placing statements" (as philosophical work).

• Phase-valued models of linear set theory
• PDF version

• A coherence space semantics for linear set theory
• PDF version

• Fixpoint theorem in linear set theory
• PDF version

• A sequent calculus for compact closed categories
• PDF version

• http://gentzen.math.hc.keio.ac.jp/Pier/Pier.html