Construyendo algunos álgebras lógicas con aros
Autores: Kologani, M. Aaly; Song, Seok-Zun; Borzooei, R. A.; Jun, Young Bae
Idioma: Inglés
Editor: MDPI
Año: 2019
Acceso abierto
Artículo científico
2019
Construyendo algunos álgebras lógicas con aros
Categoría
Matemáticas
Subcategoría
Matemáticas generales
Palabras clave
Estructuras algebraicas lógicas
Filtros
álgebra de aro
Co-filtro
Relación de congruencia
Estructura cociente
Licencia
CC BY-SA – Atribución – Compartir Igual
Consultas: 29
Citaciones: Sin citaciones
En cualquier estructura algebraica lógica, mediante el uso de diferentes tipos de filtros, se pueden construir diversos tipos de otras estructuras algebraicas lógicas. Con estas inspiraciones, en este artículo, considerando un álgebra de aro o un aro, introducido por Bosbach, se introduce la noción de cofiltro en aros y se investigan propiedades relacionadas. Luego, mediante el uso de cofiltro, se define una relación de congruencia en aros, y se estudia la estructura de cociente asociada. Así se obtienen semirretículos brouwerianos, álgebras de Heyting, aros de Wajsberg, álgebras de Hilbert y álgebras BL.
Descripción
En cualquier estructura algebraica lógica, mediante el uso de diferentes tipos de filtros, se pueden construir diversos tipos de otras estructuras algebraicas lógicas. Con estas inspiraciones, en este artículo, considerando un álgebra de aro o un aro, introducido por Bosbach, se introduce la noción de cofiltro en aros y se investigan propiedades relacionadas. Luego, mediante el uso de cofiltro, se define una relación de congruencia en aros, y se estudia la estructura de cociente asociada. Así se obtienen semirretículos brouwerianos, álgebras de Heyting, aros de Wajsberg, álgebras de Hilbert y álgebras BL.