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

HOME