Petr Cintula se zabývá problémy logiky na pomezí matematiky a teoretické
informatiky. Zabývá se abstraktní algebraickou logikou, substrukturální
logikou a matematickou fuzzy logikou. Ve své disertaci významným
způsobem navázal na teorie Petra Hájka, zakladatele fuzzy logiky.
Zaměřil se v ní především na využití neklasické teorie
„slabě-implikativní logiky“, konkrétněji na logické modelování ve vysoce
formalizovaných situacích, v nichž je klasická binární logika
nedostatečná či příliš vágní.[Zdroj: AVČR]
Žádné komentáře:
Okomentovat