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…

Predicate graded logics and their applications to computer science

2017-01-01 - 2019-12-31

Department of Decision-Making Theory

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…

First-order many-valued logics

2017-01-01 - 2018-12-31

Department of Decision-Making Theory

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…

Syntax Meets Semantics: Methods, Interactions, and Connections in Substructural logics

2016-03-01 - 2019-02-28

Department of Decision-Making Theory

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…

Modeling vague quantifiers in mathematical fuzzy logic

2015-01-01 - 2017-12-31

Department of Decision-Making Theory

An Order-Based Approach to Non-Classical Propositional and Predicate Logics

2013-02-01 - 2016-12-31

Department of Decision-Making Theory

Mgr. Tomáš Lávička Ph.D.