V projektu budeme modelovat individuální rozhodování jedinců, jež je určující pro analýzu mikroekonomických vztahů. Navážeme na dlouhotrvající diskusi tranzitivity preferencí, jednoho ze základních axiomů teorie očekávané utility. Navrhneme teorii rozhodování s netranzitivními preferencemi a prozkoumáme její vztah ke již existujícím teoriím tohoto typu. V další části prozkoumáme subjektivně...

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 je stimulováno vzájemně prospěšnými vztahy s dalšími matematickými disciplínami, jako jsou univerzální algebra, topologie a teorie modelů, her a kategorií. Dosažené výsledky také vedly k řadě...

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....

V projektu sestavíme výzkumný mezinárodní tým, který se zaměří na analýzu a numerické řešení úloh termomechaniky. Vytvoříme univerzální přístup k variačním modelům popisujícím evoluční úlohy pro pevné látky v termomechanice kontinua. Zvláště se zaměříme na fázové transformace ve slitinách s tvarovou pamětí a elastoplastických materiálech. Těžiště projektu bude v inovativních metodách modelování,...