@Article{CintulaNavara:FSS04,
  IS = { zkontrolovano 13 Jan 2005 },
  UPDATE  = { 2004-03-26 },
  author =     { Cintula, Petr and Navara, Mirko },
  title =      { Compactness of Fuzzy Logics },
  journal =    { Fuzzy Sets and Systems },
  publisher =  { Elsevier Science },
  address =    { Amsterdam, The Netherlands },
  issn =       { 0165-0114 },
  authorship = { 50-50 },
  project =    { GACR 201/02/1540, GAAV A103004/00 },
  year       = { 2004 },
  month      = { April },
  pages      = { 59-73 },
  volume     = { 143 },
  number     = { 1 },
  annote = { Compactness is an important property of classical logic.
    It states that simultaneous satisfiability of an infinite set of
    formulas is equivalent to the satisfiability of all its finite
    subsets. In fuzzy logics, we have different degrees of
    satisfiability, hence the questions of compactness become more
    complicated. Here we give an overview of the recent results on
    compactness and we extend them to various fuzzy logics. },
  keywords =   { Many-valued logic, Fuzzy logic, Triangular norm; 
                 Satisfiability, Compactness of a logic },
psurl       = { [PDF, 267 KB] },
}