Artículo
Principal congruences in weak Heyting algebras
Fecha de publicación:
07/2016
Editorial:
Birkhauser Verlag Ag
Revista:
Algebra Universalis
ISSN:
0002-5240
e-ISSN:
1420-8911
Idioma:
Inglés
Tipo de recurso:
Artículo publicado
Clasificación temática:
Resumen
Let A be a weak Heyting algebra and let a, b∈ A. We give a description for the congruence generated by the pair (a, b), and we use it in order to give a necessary and sufficient condition for a function f: Ak→ A to be compatible with every congruence of A. We also find conditions on a not necessarily polynomial function g(a, b) in A that imply that the function a↦ min { b∈ A: g(a, b) ≤ b} is compatible when defined.
Palabras clave:
Primary: 03g10
,
Secondary: 06d20
Archivos asociados
Licencia
Identificadores
Colecciones
Articulos(CCT - LA PLATA)
Articulos de CTRO.CIENTIFICO TECNOL.CONICET - LA PLATA
Articulos de CTRO.CIENTIFICO TECNOL.CONICET - LA PLATA
Citación
San Martín, Hernán Javier; Principal congruences in weak Heyting algebras; Birkhauser Verlag Ag; Algebra Universalis; 75; 4; 7-2016; 405-418
Compartir
Altmétricas