Stupňované vlastnosti jsou v přirozeném diskurzu a usuzování všudypřítomné. Tyto vlastnosti jsou charakterizovány tím, že jich různé objekty můžou nabývat v různé intenzitě. Typickým příkladem jsou…

Predicate graded logics and their applications to computer science

2017-01-01 - 2019-12-31

Oddělení matematické teorie rozhodování

Klasická matematická logika, založená na konceptuálně jednoduchém jádru výrokové Booleovy logiky, hraje v moderní informatice zásadní roli. Aplikační potenciál klasické logiky je omezen bivalencí…

Prvořádové vícehodnotové logiky

2017-01-01 - 2018-12-31

Oddělení matematické teorie rozhodování

Vícehodnotové výrokové logiky představují důležitou rodinu neklasických logik, jejichž přirozená sémantika používá více než jen dvě klasické pravdivostní hodnoty pravda/nepravda. Studium těchto logik…

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

Neklasické výrokové a predikátové logiky: přístup založený na uspořádání

2013-02-01 - 2016-12-31

Oddělení matematické teorie rozhodování

Formální systémy (ne)klasických logic jsou zásádní pro mnohé oblasti informatiky. Jsou ceněny pro svou deduktivní povahu, universalitu, přenositelnost a široké možnosti, které plynou z jejich…

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