Neklasické logiky
Výzkum skupiny se zaměřuje na několik oblastí neklasických logik, zejména na tzv. fuzzy logiky, které připouštějí škálu stupňů pravdivosti mezi pravdou a nepravdou, a tím umožňují lépe modelovat usuzování s neurčitými a vágními výrazy. Členové skupiny zkoumají také některé substrukturální, vícehodnotové, parakonzistentní a modální logiky, jejich varianty prvního i vyšších řádů, zobecněné kvantifikátory, fuzzy teorie typů, obecné a axiomatické teorie fuzzy struktur a další příbuzné oblasti. Zkoumání se zaměřuje zejména na metamatematické vlastnosti zmíněných logik, algebry jejich pravdivostních hodnot, formální kalkuly pro tyto logiky a jejich teorii modelů. Nedílnou součástí výzkumu je i interpretace a použití těchto logik v informatice, matematickém modelování a logické analýze přirozeného jazyka.
Zveřejněno / aktualizováno: 19. 03. 2025
