Irreducible residuated semilattices and finitely based varieties

• Autorzy: Galatos N. , Olson J. S. , Raftery J. G.
• Języki publikacji: EN

Abstrakty

EN

This paper deals with axiomatization problems for varieties of residuated meet semilattice-ordered monoids (RSs). An internal characterization of the finitely subdirectly irreducible RSs is proved, and it is used to investigate the varieties of RSs within which the finitely based subvarieties are closed under fi- nite joins. It is shown that a variety has this closure property if its finitely subdirectly irreducible members form an elementary class. A syntactic characterization of this hypothesis is proved, and examples are discussed.

• Wydawca: Wydawnictwo Uniwersytetu Jagiellońskiego
• Czasopismo: Reports on Mathematical Logic
• Rocznik: 2008
• Tom: No. 43
• Strony: 805--108
• Opis fizyczny: Bibliogr. 19 poz., rys.

Twórcy

autor

Galatos N.

autor

Olson J. S.

autor

Raftery J. G.

• Department of Mathematics, University of Denver, 2360 S. Gaylord St., Denver, CO 80208, USA,

Bibliografia

• [1] W.J. Blok, D. Pigozzi, On the structure of varieties with equationally definable principal congruences I, Algebra Universalis 15 (1982), pp. 195–227.
• [2] W.J. Blok, D. Pigozzi, Abstract algebraic logic and the deduction theorem, manuscript, 1997. Available at http//:orion.math.iastate.edu/dpigozzi
• [3] K. Blount, C. Tsinakis, The structure of residuated lattices, Internat. J. Algebra Comput. 13 (2003), pp. 437–461.
• [4] S. Burris, H.P. Sankappanavar, A Course in Universal Algebra, Graduate Texts in Mathematics, Springer-Verlag, New York, 1981.
• [5] N. Galatos, Varieties of Residuated Lattices, Ph.D. Thesis, Vanderbilt University, 2003.
• [6] N. Galatos, Equational bases for joins of residuated-lattice varieties, Studia Logica 76 (2004), pp. 227–240.
• [7] N. Galatos, Minimal varieties of residuated lattices, Algebra Universalis 52 (2005), pp. 215–239.
• [8] N. Galatos, P. Jipsen, T. Kowalski, H. Ono, Residuated Lattices. An Algebraic Glimpse at Substructural Logics, Elsevier, 2007.
• [9] N. Galatos, H. Ono, Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL, Studia Logica 83 (2006), pp. 279–308.
• [10] P. Jipsen, From semirings to residuated Kleene lattices, Studia Logica 76 (2004), pp. 291–303.
• [11] P. Jipsen, C. Tsinakis, A survey of residuated lattices, in J. Martinez (ed.), Ordered Algebraic Structures, Kluwer, Dordrecht, 2002, pp. 19–56.
• [12] B. Jóonsson, Algebras whose congruence lattices are distributive, Math. Scand. 21(1967), pp. 110–121.
• [13] B. Jónsson, On finitely based varieties of algebras, Colloquium Mathematicum 42 (1979), pp. 255–261.
• [14] P. Köhler, Brouwerian semilattices, Trans. Amer. Math. Soc. 268 (1981), pp. 103–126.
• [15] R.C. Lyndon, Properties preserved in subdirect products, Pacific J. Math. 9(1) (1959), pp. 155–164.
• [16] J.S. Olson, Subdirectly irreducible residuated semilattices and positive universal classes, Studia Logica 83 (2006), pp. 393–406.
• [17] J.S. Olson, J.G. Raftery, Residuated structures, concentric sums and finiteness conditions, Communications in Algebra, to appear.
• [18] K. Pa łasińska, Amalgamation property in some classes of BCK-algebras, Reports on Mathematical Logic 21 (1987), pp. 72–84.
• [19] C.J. van Alten, On varieties of biresiduation algebras, Studia Logica 83 (2006), pp. 425–445.