Navegar

Colección

Datos Estadísticas

Artículo

Este artículo es de Acceso Abierto y puede ser descargado en su versión final desde nuestro repositorio
Consulte el artículo en la página del editor
Consulte la política de Acceso Abierto del editor

Abstract:

Free algebras with an arbitrary number of free generators in varieties of BL-algebras generated by one BL-chain that is an ordinal sum of a finite MV-chain Ln and a generalized BL-chain B are described in terms of weak Boolean products of BL-algebras that are ordinal sums of subalgebras of L and free algebras in the variety of basic hoops generated by B. The Boolean products are taken over the Stone spaces of the Boolean subalgebras of idempotents of free algebras in the variety of MV-algebras generated by L N. © 2006 Australian Mathematical Society.

Registro:

Documento: Artículo
Título:Free algebras in varieties of BL-algebras generated by a BL n-chain
Autor:Busaniche, M.; Cignoli, R.
Filiación:Departamento de Matemática, Facultad de Ciencias Exactas y Naturales, Ciudad Universitaria, 1428 Buenos Aires, Argentina
Palabras clave:BL-algebras; Boolean products; Free algebras; Hoops; Moisil algebras; Residuated lattices
Año:2006
Volumen:80
Número:3
Página de inicio:419
Página de fin:439
DOI: http://dx.doi.org/10.1017/S1446788700014117
Título revista:Journal of the Australian Mathematical Society
Título revista abreviado:J. Aust. Math. Soc.
ISSN:14467887
PDF:https://bibliotecadigital.exactas.uba.ar/download/paper/paper_14467887_v80_n3_p419_Busaniche.pdf
Registro:https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_14467887_v80_n3_p419_Busaniche

Referencias:

  • Aglianò, P., Ferreirim, I.M.A., Montagna, F., Basic Hoops: An Algebraic Study of Continuous T-norms, , manuscript
  • Aglianò, P., Montagna, F., Varieties of BL-algebras I: General properties (2003) J. Pure Appl. Algebra, 181, pp. 105-129
  • Amer, K., Equationally complete classes of conmutative monoids with monus (1984) Algebra Universalis, 18, pp. 129-131
  • Balbes, R., Dwinger, P., (1974) Distributive Lattices, , University of Missoury Press, Columbia
  • Bigelow, D., Burris, S., Boolean algebras of factor congruences (1990) Acta Sci. Math. (Szeged), 54, pp. 11-20
  • Block, W.J., Ferreirim, I.M.A., Hoops and their implicational reducts (1993) Algebraic Methods in Logic and Computer Sciences, Banach Center Publications, 28, pp. 219-230. , Polish Academy of Science, Warsaw
  • On the structure of hoops (2000) Algebra Universalis, 43, pp. 233-257
  • Boicescu, V., Filipoiu, A., Georgescu, G., Rudeanu, S., (1991) Lukasiewicz-moisil Algebras, , Elsevier, Amsterdam
  • Burris, S., Sankappanavar, H.P., (1981) A Course in Universal Algebra, , Springer, New York
  • Busaniche, M., Free algebras in varieties of BL-algebras generated by a chain (2003) Algebra Universalis, 50, pp. 259-277
  • Cignoli, R., (1970) Moisil Algebras, Notas de Lógica Matemática, , Institute De Matemática, Universidad Nac. del Sur, Bahía Bianca, Argentina
  • Some algebraic aspects of many-valued logics (1980) Proceedings of the Third Brazilian Conference on Mathematical Logic (Sociedade Brasileira de Lógica), pp. 49-69. , (eds. A. I. Arruda, N. C. A. da Costa and A. M. Sette) (S̃o Paulo)
  • Proper n-valued łukasiewicz algebras as S-algebras of łukasiewicz n-valued propositional calculi (1982) Studia Logica, 41, pp. 3-16
  • Cignoli, R., D'Ottaviano, M.I., Mundici, D., (2000) Algebraic Foundations of Many-valued Reasoning, , Kluwer, Dordrecht
  • Cignoli, R., Torrens, A., An algebraic analysis of product logic (2000) Mult.-valued Log., 5, pp. 45-65
  • Free cancelative hoops (2000) Algebra Universalis, 43, pp. 213-216
  • Free algebras in varieties of BL-algebras with a Boolean retract (2002) Algebra Universalis, 48, pp. 55-79
  • Hájek basic fuzzy logic and łukasiewicz infinite-valued logic (2003) Arch. Math. Logic, 42, pp. 361-370
  • Hájek, P., (1998) Metamathematics of Fuzzy Logic, , Kluwer, Dordrecht
  • Horn, A., Free L-algebras (1969) J. Symbolic Logic, 34, pp. 475-480
  • Iorgulescu, A., Connections between MVn-algebras and n-valued łukasiewicz-moisil algebras. Part i (1998) Discrete Math., 181, pp. 155-177
  • McNaughton, R., A theorem about infinite-valued sentential logic (1951) J. Symbolic Logic, 16, pp. 1-13
  • Di Nola, A., Georgescu, G., Leustean, L., Boolean products of BL-algebras (2000) J. Math. Anal. Appl., 251, pp. 106-131
  • Rodríguez, A.J., Torrens, A., Wajsberg algebras and post algebras (1994) Studio Logica, 53, pp. 1-19
  • Von Plato, J., Skolem's discovery of Gödel-Dummett logic (2003) Studio Logica, 73, pp. 153-157

Citas:

---------- APA ----------
Busaniche, M. & Cignoli, R. (2006) . Free algebras in varieties of BL-algebras generated by a BL n-chain. Journal of the Australian Mathematical Society, 80(3), 419-439.
http://dx.doi.org/10.1017/S1446788700014117
---------- CHICAGO ----------
Busaniche, M., Cignoli, R. "Free algebras in varieties of BL-algebras generated by a BL n-chain" . Journal of the Australian Mathematical Society 80, no. 3 (2006) : 419-439.
http://dx.doi.org/10.1017/S1446788700014117
---------- MLA ----------
Busaniche, M., Cignoli, R. "Free algebras in varieties of BL-algebras generated by a BL n-chain" . Journal of the Australian Mathematical Society, vol. 80, no. 3, 2006, pp. 419-439.
http://dx.doi.org/10.1017/S1446788700014117
---------- VANCOUVER ----------
Busaniche, M., Cignoli, R. Free algebras in varieties of BL-algebras generated by a BL n-chain. J. Aust. Math. Soc. 2006;80(3):419-439.
http://dx.doi.org/10.1017/S1446788700014117