Position:

senior research fellow

Department:

Research interests:

reasoning with graded notions, mathematical fuzzy logic, (abstract) algebraic logic, logics for artificial intelligence

Publications ÚTIA:

Duration: 2018
- 2020

Graded properties are ubiquitous in human discourse and reasoning. They are characterized by the fact that they may apply with different intensity to different objects. Typical examples are vague properties (e.g.

Duration: 2017
- 2019

Classical mathematical logic, built on the conceptually simple core of propositional Boolean calculus, plays a crucial role in modern computer science. A critical limit to its applicability is the underlying bivalent principle that forces all propositions to be either true or false.

Duration: 2017
- 2018

Many-valued logics are a prominent family of non-classical logics whose intended semantics uses more than the two classical truth-values, truth/false. The study of these logics is stimulated by strong mutually beneficial connections with other mathematical disciplines such as universal algebra, topology, and model, proof, game and category theory.

Duration: 2016
- 2019

Substructural logics are formal reasoning systems that refine classical logic by weakening the structural rules in Gentzen sequent calculus. While classical logic generally formalises the notion of truth, substructural logics allow to handle notions such as resources, vagueness, meaning, and language syntax, motivated by studies in computer science, epistemology, economy, and linguistics.

Duration: 2015
- 2017

The main aim of the project is to deepen and extend the mathematical foundations for adequate modeling of vague quantifiers as fuzzy quantifiers in the framework of MFL.

Duration: 2013
- 2016

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.

## Current |
## Graduates |

Filozofická fakulta UK

Matematicko-fyzikální fakulta UK

Fakulta jaderná a fyzikálně-inženýrská ČVUT

Filozofická fakulta UK