zpravodaj ČSKI
aktuální číslo
přednáška
archiv
  - 2019
  - 2018
  - 2017
  - 2016
  - 2015
  - 2014
  - 2013
  - 2012
  - 2011
  - 2010
  - 2009
  - 2008
  - 2007
  - 2006
  - 2005
  - 2004
  - 2003
  - 2002
  - 2001
  - 2000
  - 1999
  - 1998
  - 1997
  - 1996
  - 1995
  - 1994
 
 
zpravodaj ČSKI - únor 2013 [ pdf ]
[ zaslat oznámení o přednášce ]
leden|únor|březen|duben|květen|červen|říjen|listopad|prosinec


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.