- 2017 - 2022 "Philosophy of Proofs" - Towards New Developments of Philosophy of Logic and Mathematics
- 2014 - 2017 Interdisciplinary study on logic, with a special focus on intuitionistic logic
- 2010 - 2012 Reconstructionof a semanticsbased on the notion of proof
- 2006 - 2008 Philosophical and Historical research into varieties of Constructivism in Logic and Mathematics
- 2005 - 2008 Philosophy of Computation-developments and explorations
- 2003 - 2004 Research on Brouwer's Philosophy and the notion of continuum in Intuitionism
- 2001 - 2004 Philosophical Appraisal of the Representative Standpoints in the Foundations of Logic and Mathematics: Realism, Constructivism and Physicalism
- 2001 - 2002 Historical and Logical Investigation into Hilbert Program as a philosophy of mathematics
- 1997 - 1999 Japanese and Logic
- 1997 - 1998 数学の哲学における真理のミニマリズムと反実在論
- 1994 - 1995 Investigation into relations between realism and constructivism in the philosophy of mathematics
- 1993 - 1993 論理定項の概念についてのモデル論理的および構成主義的研究
- 1991 - 1992 Historical Developments and Contemporary Tasks of the Philosophy of Logic and Mathematics in Analytic Philosophy
Show all
