@InProceedings{HorcikPetrik:LSC2006,
  IS = { zkontrolovano 29 Dec 2006 },
  UPDATE  = { 2006-10-31 },
  author =      { Hor{\v c}{\'\i}k, Rostislav and Petr{\'\i}k, Milan },
  title =       { Local Finiteness of {n}-contractive {MTL}-algebras },
  year =        { 2006 },
  pages =       { 68--73 },
  booktitle =   { {INTL} Conference on the Logic of Soft Computing and 
                  Workshop of the {ERCIM} Working Group on Soft Computing },
  editor =      { S. Gottwald, P. H{\'a}jek, M. Ojeda-Aciego },
  publisher =   { Department of Applied Mathematics, 
                  School of Computer Science, 
                  University of M{\'a}laga },
  address =     { M{\'a}laga, Spain },
  isbn =        { none },
  book_pages =  { 194 },
  month =       { September },
  day =         { 13--15 },
  venue =       { M{\'a}laga, Spain },
  annote = { In this paper we investigate the problem which varities
    of n-contractive MTL-algebras and IMTL-algebras are locally
    finite. We prove that the variety of n-contractive MTL-algebras
    and IMTL-algebras are not locally finite for n greater or equal
    3. We also deal with the case of simple n-contractive MTL-algebras
    and IMTL-algebras. },
  keywords =    { fuzzy logic, MTL logic, MTL algebra, 
                  residuated lattice },
  prestige =    { international },
  authorship =  { 50-50 },
  project =     { CTU 0608513, specific research},
  www         = { http://sevein.matap.uma.es/~aciego/ercim-lsc },
}