The research in our department follows two directions. The first one concerns non-classical logics. We focus mainly on substructural, fuzzy and modal logics. In the second one we investigate computational complexity by means of specialised computational models like neural networks, branching programs and Boolean functions.
Logic is an essential tool for the formalization of mathematics and it is suitable also for formal description of many specialized structures, including those that arise from particular applications. Specialized types of logics are therefore used, e.g., for program or hardware verification.
Computational complexity looks into the problem of determining the least amount of computational resources that is necessary for algorithmic problem solving. Time and computer memory are typical resources of a computation, however, models with other complexity measures, such as the size and depth of a circuit, the number of memory accesses, energy, parallelism, probabilistic and analog computation, etc., are also investigated.
We focus on theoretical research in the following areas:
Our department organizes jointly with the Czech Society for Cybernetics and Informatics a seminar on applied mathematical logic (also called Hájek’s seminar according to its founder) which regularly takes place since the late 1960’s. The program can be found here.
