Free algebras in varieties of BL-algebras generated by a chain
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.
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Capítulo de libro |
| Lenguaje: | Inglés |
| Publicado: |
Birkhauser Verlag Basel
2003
|
| Acceso en línea: | Registro en Scopus DOI Handle Registro en la Biblioteca Digital |
| Aporte de: | Registro referencial: Solicitar el recurso aquí |
| LEADER | 04659caa a22005777a 4500 | ||
|---|---|---|---|
| 001 | PAPER-4762 | ||
| 003 | AR-BaUEN | ||
| 005 | 20230518203420.0 | ||
| 008 | 190411s2003 xx ||||fo|||| 00| 0 eng|d | ||
| 024 | 7 | |2 scopus |a 2-s2.0-2442717603 | |
| 040 | |a Scopus |b spa |c AR-BaUEN |d AR-BaUEN | ||
| 100 | 1 | |a Busaniche, M. | |
| 245 | 1 | 0 | |a Free algebras in varieties of BL-algebras generated by a chain |
| 260 | |b Birkhauser Verlag Basel |c 2003 | ||
| 270 | 1 | 0 | |m Busaniche, M.; Departamento de Matemática, Fac. de Ciencias Exactas y Naturales, Ciudad Universitaria, 1428 Buenos Aires, Argentina; email: manuelabusaniche@yahoo.com.ar |
| 506 | |2 openaire |e Política editorial | ||
| 504 | |a Aglianò, P., Ferreirim, I.M.A., Montagna, F., Basic hoops: An algebraic study of continuous t-norms Stud. Log., , to appear | ||
| 504 | |a Aglianò, P., Montagna, F., Varieties of BL-algebras I: General properties (2003) J. Pure Appl. Algebra, 181, pp. 129-131 | ||
| 504 | |a Balbes, R., Dwinger, P.H., (1974) Distributive Lattices, , University of Missoury Press, Columbia | ||
| 504 | |a Blok, W.J., Ferreirim, I.M.A., On the structure of hoops (2000) Algebra Univers., 43, pp. 233-257 | ||
| 504 | |a Burris, S., Sankappanavar, H.P., (1981) A Course in Universal Algebra, , Springer-Verlag, New York, Heidelberg, Berlin | ||
| 504 | |a Cignoli, R., Proper n-Valued łukasiewicz algebras as S-algebras of łukasiewicz n-Valued prepositional calculi (1982) Stud. Log., 41, pp. 3-16 | ||
| 504 | |a Cignoli, R., Algebras of fuzzy logic (2000) Lecture Notes, , University of Buenos Aires | ||
| 504 | |a Cignoli, R., D'Ottavian, M.I., Mundici, D., (2000) Algebraic Foundations of Many-valued Reasoning, , Kluwer Academic Pub., Dordrecht | ||
| 504 | |a Cignoli, R., Torrens, A., An algebraic analysis of product logic (2000) Mult. Valued Log., 5, pp. 45-65 | ||
| 504 | |a 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 | ||
| 504 | |a Cignoli, R., Torrens, A., Hájek basic fuzzy logic and łukasiewicz infinite-valued logic (2003) Arch. Math. Logic, 42, pp. 361-370 | ||
| 504 | |a Cohn, P.M., (1981) Universal Algebra, Revised Edition, , D. Reidel Pub. Co., Dordrecht | ||
| 504 | |a Davey, B.A., Dualities for equational classes of Brouwerian algebras and heyting algebras (1976) Trans. Amer. Math. Soc., 221, pp. 119-145 | ||
| 504 | |a Dummett, M., A propositional calculus with denumerable matrix (1959) J. Symb. Log., 24, pp. 97-106 | ||
| 504 | |a Hájek, P., (1998) Metamathematics of Fuzzy Logic, , Kluwer Academic Pub., Dordrecht | ||
| 504 | |a Hájek, P., Basic fuzzy logic and BL-algebras (1998) Soft Computing, 2, pp. 124-128 | ||
| 504 | |a Horn, A., Logic with truth values in a linearly ordered Heyting algebra (1969) J. Symb. Log., 34, pp. 395-408 | ||
| 504 | |a Jipsen, P., Tsinakis, C., A survey of Residuated Lattices (2002) Ordered Algebraic Structures, pp. 19-56. , J. Martinez, Editor, Kluwer Academic Publishers, Dordrech | ||
| 504 | |a Monteiro, A., Linéarisation de la logique positive de Hilbert Bernays (1962) Revista Un. Mat. Argentina, 20, pp. 308-309 | ||
| 504 | |a Rodriguez, A.J., Torrens, A., Wajsberg algebras and post algebras (1994) Stud. Log., 53, pp. 1-19 | ||
| 520 | 3 | |a 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. |l eng | |
| 593 | |a Departamento de Matemática, Fac. de Ciencias Exactas y Naturales, Ciudad Universitaria, 1428 Buenos Aires, Argentina | ||
| 690 | 1 | 0 | |a BL-ALGEBRAS |
| 690 | 1 | 0 | |a BL-CHAINS |
| 690 | 1 | 0 | |a FREE ALGEBRAS |
| 690 | 1 | 0 | |a FUZZY LOGICS |
| 690 | 1 | 0 | |a MANY-VALUED LOGICS |
| 773 | 0 | |d Birkhauser Verlag Basel, 2003 |g v. 50 |h pp. 259-277 |k n. 3-4 |p Algebra Univers. |x 00025240 |w (AR-BaUEN)CENRE-267 |t Algebra Universalis | |
| 856 | 4 | 1 | |u https://www.scopus.com/inward/record.uri?eid=2-s2.0-2442717603&doi=10.1007%2fs00012-003-1835-z&partnerID=40&md5=3e2f55c9c72822227cad870e3219f31c |y Registro en Scopus |
| 856 | 4 | 0 | |u https://doi.org/10.1007/s00012-003-1835-z |y DOI |
| 856 | 4 | 0 | |u https://hdl.handle.net/20.500.12110/paper_00025240_v50_n3-4_p259_Busaniche |y Handle |
| 856 | 4 | 0 | |u https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_00025240_v50_n3-4_p259_Busaniche |y Registro en la Biblioteca Digital |
| 961 | |a paper_00025240_v50_n3-4_p259_Busaniche |b paper |c PE | ||
| 962 | |a info:eu-repo/semantics/article |a info:ar-repo/semantics/artículo |b info:eu-repo/semantics/publishedVersion | ||
| 999 | |c 65715 | ||