|Home||Online Resources||Table of Contents|
Journal of Logic and Computation, Volume 7, Issue 6: December 1997.
Unification through projectivity
Dipartimento di Matematica, Universita degli Studi di Milano, via Saldini 50, 20133 Milano, Italy. E-mail: email@example.com
We introduce an algebraic approach to E-unification, through the notions of finitely presented and projective object. As applications and examples, we determine the unification type of varieties generated by a single finite quasi-primal algebra, of distributive lattices and of some other equational classes of algebras corresponding to fragments of intuitionistic logic.
Key words: E-unification, projective algebras, Brouwerian semilattices.