Almost minimal varieties related to fuzzy logic

• Autorzy: Katoh Y. , Kowalski T. , Ueda M.
• Języki publikacji: EN

Abstrakty

EN

We present constructions producing continua of almost minimal subvarieties of certain varieties related to fuzzy logic. We also prove that there are only countably many almost minimal varieties of Hajek's BL-algebras --- all of them rather well known. Some contrasting results on varieties satisfying the 2-potency condition x3 = x2 are also included. The uncountabil- ity results have circulated rather widely in preprint (cf. [10]); this paper is meant to emphasise a general scheme that our construc- tions fall under.

• Wydawca: Wydawnictwo Uniwersytetu Jagiellońskiego
• Czasopismo: Reports on Mathematical Logic
• Rocznik: 2006
• Tom: Nr 41,spec. iss.
• Strony: 173--194
• Opis fizyczny: Bibliogr. 12 poz.

Twórcy

autor

Katoh Y.

autor

Kowalski T.

autor

Ueda M.

• Japan Advanced Institute of Science and Technology 1-1 Asahidai, Tatsunokuchi, Ishikawa, Japan,

Bibliografia

• [1] P. Agliano, I.M.A. Ferreirim, F. Montagna, Basic hoops: an algebraic study of continuous t-norms, Studia Logica, forthcoming.
• [2] W.J. Blok, I.M.A. Ferreirim, On the structure of hoops, Algebra Universalis 43 (1999), 233-257.
• [3] W.J. Blok, D. Pigozzi, Algebraizable Logics, Memoirs of the American Mathematical Society, Number 396, Amer. Math. Soc., Providence, 1989.
• [4] C.C. Chang, Algebraic analysis of many-valued logics, Transactions of the American Mathematical Society 88 (1958), 467-490.
• [5] R. Cignoli, A. Torrens, An algebraic analysis of product logic, Multiple Valued Logic 5, 2000, 45{65.
• [6] F. Esteva, L. Godo, Monoidal t-norm based logic: towards a logic for left-continuous t-norms, Fuzzy Sets and Systems 123, 2001, no.3, 271-288.
• [7] P. Hájek, Metamathematics of Fuzzy Logic, Trends in Logic 4, Studia Logica Library, Kluwer Academic Publishers, Dordrecht 1998.
• [8] P. Jipsen, C. Tsinakis, A survey of residuated lattices, Ordered Algebraic Structures (J. Martinez, ed.), Kluwer Academic Publishers, Dordrecht 2002, 19-56.
• [9] Y. Komori, Super- Łukasiewicz propositional logics, Nagoya Mathematical Journal 84 (1981), 119-133.
• [10] T. Kowalski, H. Ono, Residuated lattices: an algebraic glimpse at logics without contraction, JAIST preprint, 2000.
• [11] H. Ono, Substructural logics and residuated lattices - as introduction, Trends in Logic vol. 20 „50 Years of Studia Logica" (V.F. Hendricks, J. Malinowski, eds), Kluwer Academic Publishers, Dordrecht 2003, 177-212.
• [12] M. Ueda, A study of classification of residuated lattices and logics without contraction rule, Master Thesis at JAIST, 2000.