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.

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.