Łukasiewicz residuation algebras with infimum

• Autorzy: Figallo A. V. , Figallo A. , Figallo M. , Ziliani A.
• Języki publikacji: EN

Abstrakty

EN

Łukasiewicz residuation algebras with an underlying ordered structure of meet semilattice (or iŁR-algebras) are studied. These algebras are the algebraic counter-part of the {->, lambda}-fragment of Łukasiewicz's many-valued logie. An equational basis for this class of algebras is shown. In addition, the subvariety of (n + 1)-valued iŁR-algebras for O < n < u is considered. In particular, the structure of the free finitely generated (n + 1)-valued iŁR-algebra is described. Moreover, a formuła to compute its cardinal number in terrns of n and the number of free generators is obtained.

Słowa kluczowe

EN

free algebras; Łukasiewicz residuation algebras; BCK-algebras

PL

algebra wolna; algebra Łukasiewicza; algebra BCK

• Wydawca: De Gruyter
• Czasopismo: Demonstratio Mathematica
• Rocznik: 2007
• Tom: Vol. 40, nr 4
• Strony: 751--758
• Opis fizyczny: Bibliogr. 21 poz.

Twórcy

autor

Figallo A. V.

autor

Figallo A.

autor

Figallo M.

autor

Ziliani A.

• Departamento de Mathematica Universidad Nacional del sur 8000 - Bahia Blanca, Argentina

Bibliografia

• [1] J. Berman, Free spectra of 3-element algebras. Universal Algebra and Lattice Theory (Puebla, 1982), 10-53, Lecture Notes in Math., 1004, Springer, 1983.
• [2] J. Berman, W. Blok, Free Łukasiewicz and hoop residuation algebras, Studia Logica 77 (2004), 153-180.
• [3] W. Blok, M. Ferreirim, On the structure of hoop, Algebra Universalis 43 (2000), 233-257.
• [4] W. Blok, D. Pigozzi, Algebraizable Logics, Memoirs of the American Mathematical Society, 396, Amer. Math. Soc., Providence, 1989.
• [5] B. Bosbach, Komplementäre Halbgruppen. Axiomatik und Arithmetik, Fund. Math. 64 (1969), 257-287.
• [6] B. Bosbach, Komplementäre Halbgruppen. Kongruenzen und Quotienten, Fund. Math. 69 (1970), 1-14.
• [7] S. Burris, H. Sankappanavar, A Course in Universal Algebra, Springer-Verlag, 1981.
• [8] J. Büchi, T. Owens, Complemented monoids and hoops, unpublished manviscript.
• [9] R. Cignoli, I. D'Ottaviano, D. Mundici, Algebras des Lógicas de Łukasiewicz, UNICAMP, Centro de Lógica, Epistemologia e História da Ciència, 12, 1995.
• [10] W. Cornish, BCK-algebras with a supremum, Math. Japonica 27, 1 (1982), 63-73.
• [11] I. Ferreirim, On a conjecture by Andrzej Wroński for BCK-algebras and subreducts of hoops, Sci. Math. Japon. 53, l (2001), 119-132,
• [12] A. Figallo, M. Figallo, A. Ziliani, Free (n+1) - valued Łukasiewicz BCK algebras, Demonstratio Math. XXXVII, 2 (2004), 245-254.
• [13] A. V. Figallo, In+1 - álgebras con operaciones adicionales, Doctoral Thesis, Univ. Nac. del Sur, 1989, Bahía Blanca, Argentina.
• [14] A. V. Figallo, J. Tolosa, C3 algebras with an additional operation, Actas del Primer Congreso Dr. Antonio Monteiro, Univ. Nac. del Sur (1991), Bahía Blanca, Argentina, 25-34.
• [15] J. Font, A. Rodriguez, A. Torrens, Wajsberg algebras, Stochastica 8, 1 (1984), 5-31.
• [16] P. Idziak, Lattice operation in BCK-algebras, Math. Japon. 29 (1984), 839-846.
• [17] D. Mundici, MV-algebras are categorically equivalent to bounded commutative BCK-algebras, Math. Japon. 31 (1986) 889-894.
• [18] A. Pixley, Functionally complete algebras generating distributive and permutable classes, Math. Z., 114 (1970), 361-370.
• [19] A. J. Rodriguez Salas, Un estudio algebraico de los cálculos proposicionales de Łukasiewicz, Doctoral Thesis, Univ. de Barcelona (1980).
• [20] T. Traczyk, On the variety of bounded commutative BCK-algebras, Math. Japon. 24, 3 (1979), 283-292.
• [21] B. Woźniakowska, Algebraic proof of the separation theorem for the infinite-valued logic of Łukasiewicz, Rep. Math. Logic, 10 (1978), 129-137.