Mitsu Okada Research Fields. (Japanese Page)

Logic (in particular , Proof Theory).

• Semantical Analysis of Proof-Normalization and Cut-Elimination.
• Studies in Linear Logic.
• Proof Theory for Higher Order Logics.

Logical Philosophy and Philosophy of Mathematics.

• Philosophy of Finitism and Constructivism.
• Philosophy of Hilbertian School of Proof Theory.
• Philosophy of Mathematics and Computer Science based on Linear Logic.
• Logical Analysis on Intuitionistic Concepts.
• Logical Theory of Husserl.

Logic in Computer Science and Theoretical Computer Science.

• Application of Linear Logic to Theoretical Computer Science.
• Proof Theory and Semantics Theory for Programmming Languages.
• Type Theory and Term Rewriting Theory.
• Logical Analysis on Concurrent Process Calculi.

Philosophy of Knowledge and Epistemology.

• Analytical, Phenomenological and Artificial Intelligent's approaches on perception, imagination and conception.
• Sense and Nonsense.
• Role of Logical Inferences in Theory of Knowledge.

Logical Semantics and its Application to Linguistics

• Montague Semantics and Categorial Grammar.
• Cognitive Linguistics Studies based on Acoustic Science.
• Speach Act Theory and Relevance Theory.
• Logical Foundations for Categorial Grammar.

Historical Studies in Logic and Philosophy

• Notion of Proof in the Modern Philosophy.
• History of Logic.

Please E-mail comments and questions to .
Thank you very much for your attention.