TY  - GEN
T1  - Compatible operations on commutative residuated lattices
A1  - Castiglioni, J. L.
A2  - Menni, Matías
A2  - Sagastume, Marta
LA  - English
UL  - http://vufind10-pruebas.sigbunlp.bibliotecas.unlp.edu.ar/Record/dun.55579
AB  - 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 .
NO  - Formato de archivo: PDF. -- Este documento es producción intelectual de la Facultad de Informática - UNLP (Colección BIPA/Biblioteca)
ER  -