Direct Product of ℓ-Algebras and Unification: An Application to Residuated Lattices
Wojciech Dzik and Sándor Radeleczki
We describe classes of ℓ-algebras (which are based on lattices) such that their finitely presented projective algebras are closed under finite direct product, that is, for which unification is filtering. This implies that unification in such classes is either unitary or nullary. Following ideas of S. Ghilardi [12, 14] we attempt to describe filtering unification in a variety by means of properties of factor-congruences of algebras of the variety. The results subsume some previous results, but not those of [14], and open new areas for applications like residuated lattices. In particular we show that filtering unification depends on the monoid operation, that is, unification is filtering in varieties generated by residuated lattices without zero divisors. This implies that unification in strict fuzzy logics such as SMTL, MTL and many others is unitary or nullary.
Keywords: Unification, ℓ-algebra, finitely presented algebra, projective algebra, 1-regular variety, congruence kernel, central element, factor congruence, residuated lattice, zero divisors.