Compatible operations on residuated lattices (Q763311): Difference between revisions

The authors adopt a definition for residuated lattices in which the lattice reduct is not necessarily bounded, commutativity is not assumed either, and both the left and right residua are present. An operation \(f\) on a set \(L\) endowed with an algebraic structure is said to be compatible iff every congruence of the algebra \(L\) is also a congruence of \(L\) enriched with the operation \(f\). Compatible operations on residuated lattices translate into compatible connectives in the associated logical system. The authors show that the variety of residuated lattices is locally afine complete, that is, the restriction of any compatible operation on a residuated lattice to any finite subset is a polynomial function. They also study some compatible unary operations on residuated lattices which generalize frontal operators on Heyting algebras, and they give examples of equationally defined such unary operations. Finally, they discuss the affine completeness of residuated lattices equipped with some additional operators.