an:01132975
Zbl 0894.08004
Ghilardi, Silvio
Unification through projectivity
EN
J. Log. Comput. 7, No. 6, 733-752 (1997).
00044423
1997
j
08A70 03B35 68W30 68T15
E-unification; algebraic approach to unification under equational conditions; finitely presented algebra; projective algebra; categorical equivalence; Brouwerian semilattices
The author proposes a new algebraic approach to unification under equational conditions. A unification problem is represented as a finitely presented algebra \(A\), and a unifier for \(A\) is a morphism from \(A\) to some finitely presented projective algebra. This concept can be used to determine the unification types of various classes of algebras via categorical equivalence, e.g., for the variety of distributive lattices; for the variety of Brouwerian semilattices, a unification type is established which is, in a sense, stable under adjunction of extra constants.
M.Armbrust (K??ln)