Home Online Resources Table of Contents

Journal of Logic and Computation, Volume 7, Issue 6: December 1997.

Unification through projectivity

S Ghilardi

Dipartimento di Matematica, Universita degli Studi di Milano, via Saldini 50, 20133 Milano, Italy. E-mail: ghilardi@vmimat.mat.unimi.it

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.

Pages 733-752


This page is run by Oxford University Press, Great Clarendon Street, Oxford OX2 6DP, UK
as part of the OUP Journals World Wide Web service.
Comments and feedback: www-admin@oup.co.uk
URL: http://www.oup.co.uk/logcom/hdb/Volume_07/Issue_06/070733.sgm.abs.html
Last modification: 16 April 1998.
Copyright© Oxford University Press, 1998.