TY  - GEN
AU  - Castiglioni,J.L.
AU  - Menni,Matías
AU  - Sagastume,Marta
TI  - Compatible operations on commutative residuated lattices
N1  - Formato de archivo: PDF. -- Este documento es producción intelectual de la Facultad de Informática - UNLP (Colección BIPA/Biblioteca); Journal of Applied Non-Classical Logics, 18(4), pp. 413-425
N2  - Let L be a commutative residuated lattice and let f : Lk → L a function. We give a necessary and sufficient condition for f to be compatible with respect to every congruence on L. We use this characterization of compatible functions in order to prove that the variety of commu- tative residuated lattices is locally affine complete. Then, we find conditions on a not necessarily polynomial function P (x, y) in L that imply that the function x → min{y ∈ L - P (x, y) ≤ y} is compatible when defined. In particular, Pn (x, y) = y n → x, for natural number n, defines a family, Sn , of compatible functions on some commutative residuated lattices. We show through examples that S1 and S2 , defined respectively from P1 and P2 , are independent as operations over this variety; i.e. neither S1 is definable as a polynomial in the language of L enriched with S2 nor S2 in that enriched with S1
UR  - http://dx.doi.org/10.3166/jancl.18.413-425
ER  -