## Research Topics

Members of The Department of Computation Theory are active in
different areas of mathematical logic applied to mathematical
linguistics and theoretical computer science as well as in some
branches of history and philosophy of mathematics. Main research
topics are the following:

- Categorial Grammars and The Lambek Calculus,
- Substructural and Linear Logics,
- Automata and Formal Grammars,
- Learning Theory,
- Information Systems and Representation of Knowledge,
- Logical Semantics,
- Foundations of Mathematics and Philosophy of Mathematics,
- Type Systems For Object Oriented Languages.