@Article{HorcikNogueraPetrik:OnNContractiveFuzzyLogics,
  IS = { zkontrolovano 15 Jan 2008 },
  UPDATE  = { 2007-12-11 },
  author =     { Hor{\v c}{\'\i}k, Rostislav and Noguera, Carles and 
                 Petr{\'\i}k, Milan },
  title =      { On n-contractive Fuzzy Logics },
  year =       { 2007 },
  month =      { June },
  pages =      { 268--288 },
  journal =    { Mathematical Logic Quarterly },
  publisher =  { WILEY - VCH Verlag Gmb },
  address =    { Weinheim, Germany },
  issn =       { 0942-5616 },
  volume =     { 56 },
  number =     { 3 },
  authorship = { 33-33-33 },
  annote = { It is well known that MTL satisfies the finite
    embeddability property. Thus MTL is complete w. r. t. the class of
    all finite MTL-chains.  In order to reach a deeper understanding
    of the structure of this class, we consider the extensions of MTL
    by adding the generalized contraction since each finite MTL-chain
    satisfies a form of this generalized contraction. Simultaneously,
    we also consider extensions of MTL by the generalized excluded
    middle laws introduced in [9] and the axiom of weak cancellation
    defined in [31]. The algebraic counterpart of these logics is
    studied characterizing the subdirectly irreducible, the
    semisimple, and the simple algebras. Finally, some important
    algebraic and logical properties of the considered logics are
    discussed: local finiteness, finite embeddability property, finite
    model property, decidability, and standard completeness. },
  keywords =   { algebraic logic, fuzzy logics, generalized contraction,
		generalized excluded middle, left-continuous t-norms, MTL-algebras,
		non-classical logics, residuated lattices, standard completeness,
		sub-structural logics, varieties, weak cancellation },
  project =    { 1ET100300517, AV0Z10300504, MULOG TIN2004-07933-C03-01, FP6-IST-027113 },
}