Unification through projectivity

Journal of Logic and Computation

Volumn 7, Issue 6, 1997, Pages 733-752

  Ghilardi, Silvio ^a  

^a UNIVERSITY OF MILAN   (Italy)

Author keywords

Brouwerian semilattices; E unification; Projective algebras

Indexed keywords

EID: 0040147572     PISSN: 0955792X     EISSN: None     Source Type: Journal    
DOI: 10.1093/logcom/7.6.733     Document Type: Article

References (19)

1. F. Baader. Unification in commutative theories. Journal of Symbolic Computation, 8, 479-497, 1989.
2. F. Baader. Characterizations of unification type zero. In Proceeedings of RTA '89, N. Dershowitz, ed. pp. 2-14. Vol. 355 of Lecture Notes in Computer Science, Springer-Verlag, Berlin, New York, 1989.
3. F. Baader and J. H. Siekmann. Unification theory. In Handbook of Logic in Artificial Intelligence and Logic Programming, D. M. Gabbay, C. J. Hoggerand J. A. Robinson, eds. pp. 41-125. Oxford University Press, Oxford, 1993.
4. R. Balbes and P. Dwinger. Distributive Lattices. University of Missouri Press, Columbia, MO, 1974.
5. S. Burris and H. P. Sankappanavar. A Course in Universal Algebra. Springer-Verlag, Berlin, New York, 1981.
6. S. Ghilardi. Unification and projectivity in prepositional logic, Quaderno n.58/96, Dipartimento di Matematica, Università degli Studi di Milano, 1996.
7. J. Goguen. What is unification? In Resolution of Equations in Algebraic Structures, Vol. 1, H. Aït-Kaci and M. Nivat, eds. pp. 217-262. Academic Press, New York, 1989.
8. P. Gabriel and F. Ulmer. Lokal präsentierbare Kategorien. Vol. 221 of Lecture Notes in Mathematics, Springer-Verlag, Berlin, New York, 1971.
9. G. Grätzer. Lattice Theory: First Concepts and Distributive Lattices. W. H. Freeman Co., San Francisco, CA, 1971.
10. P. Köhler. Brouwerian semilattices. Transactions of the American Mathematical Society, 268, 103-126, 1981.
11. F. W. Lawvere. Introduction to Part I. In Model Theory and Topoi, F. W. Lawvere, C. Maurer and G. C. Wraith, eds. pp. 3-14. Vol. 445 of Lecture Notes in Mathematics, Springer-Verlag, Berlin, New York, 1975.
12. S. Mac Lane. Categories for the Working Mathematician. Springer-Verlag, Berlin, New York, 1971.
13. U. Martin and T. Nipkow. Boolean unification - the story so far. Journal of Symbolic Computation, 7, 275-293, 1989.
14. T. Nipkow. Unification in primal algebras, their powers and their varieties. Journal of the Association of Computing Machinery, 37, 742-776, 1990.
15. W. Nutt. Unification in monoidal theories. In Proceedings of CADE'90, M. E. Stickel, ed. pp. 618-632. Vol. 449 of Lecture Notes in Computer Science, Springer-Verlag, Berlin, New York, 1990.
16. D. E. Rydeheard and R. M. Burstall. A categorical unification algorithm. In Proceedings of the Workshop on Category Theory and Computer Programming, D. Pitt, S. Abramsky, A. Poigne and D. Rydeheard, eds. pp. 493-505. Vol. 240 of Lecture Notes in Computer Science, Springer-Verlag, Berlin, New York, 1985.
17. R. W. Quackenbush. Demi-semi-primal algebras and Mal'cev-type conditions. Mathematische Zeitschrift, 122, 166-176, 1971.
18. A. Urquhart. Free distributive pseudocomplemented lattices. Algebra Universalis, 3, 13-15, 1973.
19. A. Urquhart. Projective distributive p-algebras. Bulletin of the Australian Mathematical Society, 24, 269-275, 1981.