Formal systems of (non-)classical logics are essential in many areas of computer science. Their appreciation is due to their deductive nature, universality and portability, and the power they gain from their rigorous mathematical background. Such a diverse landscape of logical systems has greatly benefited from a unified approach offered by Abstract Algebraic Logic. The purpose of this project is...

The application of algebraic and geometric methods is one of the present trends in modern statistics. The aim of the project is to apply the methods of combinatorial optimization to problems with motivation in statistics and artificial intelligence. The goals are divided into three groups: the goals concerning statistical learning Bayesian network structure and conditional independence, the...

A multivalued approach offers effecient tools for dealing with game-theoretic models and analysing optima and economic equilibria. The goal of this project is to use the methods based on multivalued analysis and logics for the investigation of several selected challenging problems that arise in game theory. This will include both cooperative and non-cooperative games. We will analyse the...