Abstract:
In this paper we describe finitely generated free algebras in varieties of BL-algebras generated by one BL-chain which is an ordinal sum of a finite MV-chain and a generalized BL-chain. We also give some particular examples of these free algebras.
Referencias:
- Aglianò, P., Ferreirim, I.M.A., Montagna, F., Basic hoops: An algebraic study of continuous t-norms Stud. Log., , to appear
- Aglianò, P., Montagna, F., Varieties of BL-algebras I: General properties (2003) J. Pure Appl. Algebra, 181, pp. 129-131
- Balbes, R., Dwinger, P.H., (1974) Distributive Lattices, , University of Missoury Press, Columbia
- Blok, W.J., Ferreirim, I.M.A., On the structure of hoops (2000) Algebra Univers., 43, pp. 233-257
- Burris, S., Sankappanavar, H.P., (1981) A Course in Universal Algebra, , Springer-Verlag, New York, Heidelberg, Berlin
- Cignoli, R., Proper n-Valued łukasiewicz algebras as S-algebras of łukasiewicz n-Valued prepositional calculi (1982) Stud. Log., 41, pp. 3-16
- Cignoli, R., Algebras of fuzzy logic (2000) Lecture Notes, , University of Buenos Aires
- Cignoli, R., D'Ottavian, M.I., Mundici, D., (2000) Algebraic Foundations of Many-valued Reasoning, , Kluwer Academic Pub., Dordrecht
- Cignoli, R., Torrens, A., An algebraic analysis of product logic (2000) Mult. Valued Log., 5, pp. 45-65
- Cignoli, R., Esteva, F., Godo, L., Torrens, A., Basic logic is the logic of continuous t-norms and their residua (2000) Soft Computing, 4, pp. 106-112
- Cignoli, R., Torrens, A., Hájek basic fuzzy logic and łukasiewicz infinite-valued logic (2003) Arch. Math. Logic, 42, pp. 361-370
- Cohn, P.M., (1981) Universal Algebra, Revised Edition, , D. Reidel Pub. Co., Dordrecht
- Davey, B.A., Dualities for equational classes of Brouwerian algebras and heyting algebras (1976) Trans. Amer. Math. Soc., 221, pp. 119-145
- Dummett, M., A propositional calculus with denumerable matrix (1959) J. Symb. Log., 24, pp. 97-106
- Hájek, P., (1998) Metamathematics of Fuzzy Logic, , Kluwer Academic Pub., Dordrecht
- Hájek, P., Basic fuzzy logic and BL-algebras (1998) Soft Computing, 2, pp. 124-128
- Horn, A., Logic with truth values in a linearly ordered Heyting algebra (1969) J. Symb. Log., 34, pp. 395-408
- Jipsen, P., Tsinakis, C., A survey of Residuated Lattices (2002) Ordered Algebraic Structures, pp. 19-56. , J. Martinez, Editor, Kluwer Academic Publishers, Dordrech
- Monteiro, A., Linéarisation de la logique positive de Hilbert Bernays (1962) Revista Un. Mat. Argentina, 20, pp. 308-309
- Rodriguez, A.J., Torrens, A., Wajsberg algebras and post algebras (1994) Stud. Log., 53, pp. 1-19
Citas:
---------- APA ----------
(2003)
. Free algebras in varieties of BL-algebras generated by a chain. Algebra Universalis, 50(3-4), 259-277.
http://dx.doi.org/10.1007/s00012-003-1835-z---------- CHICAGO ----------
Busaniche, M.
"Free algebras in varieties of BL-algebras generated by a chain"
. Algebra Universalis 50, no. 3-4
(2003) : 259-277.
http://dx.doi.org/10.1007/s00012-003-1835-z---------- MLA ----------
Busaniche, M.
"Free algebras in varieties of BL-algebras generated by a chain"
. Algebra Universalis, vol. 50, no. 3-4, 2003, pp. 259-277.
http://dx.doi.org/10.1007/s00012-003-1835-z---------- VANCOUVER ----------
Busaniche, M. Free algebras in varieties of BL-algebras generated by a chain. Algebra Univers. 2003;50(3-4):259-277.
http://dx.doi.org/10.1007/s00012-003-1835-z