Sobre una caracterización de las álgebras de semi-Heyting

Un retículo hemi-implicativo es un álgebra (A,∧,∨,→,0,1) de tipo (2,2,2,0,0) tal que (A,∧,∨,0,1) es un retículo distributivo acotado y para toda a,b ∈ A, a → a = 1 y a∧(a →b) ≤ b. [2]. Escribamos hIL para indicar la variedad cuyos elementos son los retículos hemi-implicativos. Las álgebras de semi-...

Descripción completa

Guardado en:

Detalles Bibliográficos
Autores principales:	Castiglioni, José Luis, Fernández, Víctor, Mallea, Héctor Federico, San Martín, Hernán Javier
Formato:	Objeto de conferencia
Lenguaje:	Español
Publicado:	2019
Materias:	Ciencias Exactas Matemática Álgebra álgebras de semi-Heyting
Acceso en línea:	http://sedici.unlp.edu.ar/handle/10915/162756
Aporte de:	SEDICI (UNLP) de Universidad Nacional de La Plata

id	I19-R120-10915-162756
record_format	dspace
spelling	I19-R120-10915-1627562024-02-16T20:09:51Z http://sedici.unlp.edu.ar/handle/10915/162756 Sobre una caracterización de las álgebras de semi-Heyting Castiglioni, José Luis Fernández, Víctor Mallea, Héctor Federico San Martín, Hernán Javier 2019-06 2019 2024-02-16T13:29:08Z es Ciencias Exactas Matemática Álgebra álgebras de semi-Heyting Un retículo hemi-implicativo es un álgebra (A,∧,∨,→,0,1) de tipo (2,2,2,0,0) tal que (A,∧,∨,0,1) es un retículo distributivo acotado y para toda a,b ∈ A, a → a = 1 y a∧(a →b) ≤ b. [2]. Escribamos hIL para indicar la variedad cuyos elementos son los retículos hemi-implicativos. Las álgebras de semi-Heyting, introducidas por Sankappanavar en [1] como una posible generalización de las álgebras de Heyting, forman una subvariedad propia, SH, de hIL. En esta charla mostraremos que SH se puede caracterizar, alternativamente, como la mayor subvariedad de hIL para la cual el retículo de filtros y el retículo de congruencias de cada elemento son isomorfos. Facultad de Ciencias Exactas Departamento de Matemática Objeto de conferencia Objeto de conferencia http://creativecommons.org/licenses/by-nc-sa/4.0/ Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0) application/pdf
institution	Universidad Nacional de La Plata
institution_str	I-19
repository_str	R-120
collection	SEDICI (UNLP)
language	Español
topic	Ciencias Exactas Matemática Álgebra álgebras de semi-Heyting
spellingShingle	Ciencias Exactas Matemática Álgebra álgebras de semi-Heyting Castiglioni, José Luis Fernández, Víctor Mallea, Héctor Federico San Martín, Hernán Javier Sobre una caracterización de las álgebras de semi-Heyting
topic_facet	Ciencias Exactas Matemática Álgebra álgebras de semi-Heyting
description	Un retículo hemi-implicativo es un álgebra (A,∧,∨,→,0,1) de tipo (2,2,2,0,0) tal que (A,∧,∨,0,1) es un retículo distributivo acotado y para toda a,b ∈ A, a → a = 1 y a∧(a →b) ≤ b. [2]. Escribamos hIL para indicar la variedad cuyos elementos son los retículos hemi-implicativos. Las álgebras de semi-Heyting, introducidas por Sankappanavar en [1] como una posible generalización de las álgebras de Heyting, forman una subvariedad propia, SH, de hIL. En esta charla mostraremos que SH se puede caracterizar, alternativamente, como la mayor subvariedad de hIL para la cual el retículo de filtros y el retículo de congruencias de cada elemento son isomorfos.
format	Objeto de conferencia Objeto de conferencia
author	Castiglioni, José Luis Fernández, Víctor Mallea, Héctor Federico San Martín, Hernán Javier
author_facet	Castiglioni, José Luis Fernández, Víctor Mallea, Héctor Federico San Martín, Hernán Javier
author_sort	Castiglioni, José Luis
title	Sobre una caracterización de las álgebras de semi-Heyting
title_short	Sobre una caracterización de las álgebras de semi-Heyting
title_full	Sobre una caracterización de las álgebras de semi-Heyting
title_fullStr	Sobre una caracterización de las álgebras de semi-Heyting
title_full_unstemmed	Sobre una caracterización de las álgebras de semi-Heyting
title_sort	sobre una caracterización de las álgebras de semi-heyting
publishDate	2019
url	http://sedici.unlp.edu.ar/handle/10915/162756
work_keys_str_mv	AT castiglionijoseluis sobreunacaracterizaciondelasalgebrasdesemiheyting AT fernandezvictor sobreunacaracterizaciondelasalgebrasdesemiheyting AT malleahectorfederico sobreunacaracterizaciondelasalgebrasdesemiheyting AT sanmartinhernanjavier sobreunacaracterizaciondelasalgebrasdesemiheyting
_version_	1807222447038005248

Sobre una caracterización de las álgebras de semi-Heyting

Ejemplares similares