|zpravodaj ČSKI - únor 2013 [ pdf ]|
datum: 7.2.2013 v 14:00
název: 17 Shades of Algebraizability
přednášející: Petr Cintula (UI) ,
Carles Noguera (UTIA)
místo konání: UI, 2.patro, místnost č.318
souhrn: Algebraizable logics have been deeply studied via their translation to an equivalent algebraic semantics. There are numerous strengthenings of this notion in the literature, which are often confused. The goal of this talk is to clarify these confusions by considering the overlooked condition of finiteness of the translation from logic to algebra. We obtain a hierarchy of 17 classes of algebraizable logics and show their separation examples.