an:06973806
Zbl 1398.08007
Dzik, Wojciech; Radeleczki, Sándor
Direct product of \(\ell\)-algebras and unification: an application to residuated lattices
EN
J. Mult.-Val. Log. Soft Comput. 28, No. 2-3, 189-215 (2017).
1542-3980 1542-3999
2017
j
08B05 08A05 06B20 03G25
unification; \(\ell\)-algebra; finitely presented algebra; projective algebra; 1-regular variety; congruence kernel; central element; factor congruence; residuated lattice; zero divisors
Summary: We describe classes of \(\ell\)-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 \textit{S. Ghilardi} [J. Log. Comput. 7, No. 6, 733--752 (1997; Zbl 0894.08004); J. Symb. Log. 69, No. 3, 879--906 (2004; Zbl 1069.03011)] 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 [loc. cit.], 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.
0894.08004; 1069.03011