INVESTIGADORES
SAN MARTIN Hernan Javier
artículos
Título:
Principal congruences in weak Heyting algebras
Autor/es:
HERNÁN JAVIER SAN MARTÍN
Revista:
ALGEBRA UNIVERSALIS
Editorial:
BIRKHAUSER VERLAG AG
Referencias:
Lugar: BASEL; Año: 2016 vol. 75 p. 405 - 418
ISSN:
0002-5240
Resumen:
Let A be a weak Heyting algebra and let a, b elements of 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 k-ary function 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 functionf(a) = min {b in A: g(a,b)leq b} is compatible when defined.
