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 - duben 2017 [ pdf ]
[ zaslat oznámení o přednášce ]
leden|únor|duben|květen|červen|listopad|prosinec


datum: 19.4.2017 v 10:00
název: Generalized quasivarieties of logical matrices, Part 1
přednášející: Petr Cintula (UI)
místo konání: UI, 2.patro, místnost č.318

souhrn: In this talk, we study (generalized) (quasi)varieties of logical matrices corresponding to non-classical logics. We show that the question whether the class of matrices for a given logic is generated by a certain subclass is equivalent to the question of completeness of the logic w.r.t. such subclass. We study this relationship for three completeness properties of increasing strength. In the first part, our talk we present results that are valid for all sentential logics.