@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 }, }