info:eu-repo/semantics/article
On Principal Congruences in Distributive Lattices with a Commutative Monoidal Operation and an Implication
Fecha
2019-04-12Registro en:
Jansana Ferrer, Ramon; San Martín, Hernán Javier; On Principal Congruences in Distributive Lattices with a Commutative Monoidal Operation and an Implication; Springer; Studia Logica; 107; 2; 12-4-2019; 351-374
1572-8730
0039-3215
CONICET Digital
CONICET
Autor
Jansana Ferrer, Ramon
San Martín, Hernán Javier
Resumen
In this paper we introduce and study a variety of algebras that properly includes integral distributive commutative residuated lattices and weak Heyting algebras. Our main goal is to give a characterization of the principal congruences in this variety. We apply this description in order to study compatible functions.