Unification, finite duality and projectivity in varieties of Heyting algebras

Annals of Pure and Applied Logic

Volumn 127, Issue 1-3 SPEC. ISS., 2004, Pages 99-115

  Ghilardi, Silvio ^a  

^a UNIVERSITY OF MILAN   (Italy)

Author keywords

E unification; Projective algebras; Varieties of Heyting algebras

Indexed keywords

EID: 2342527925     PISSN: 01680072     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.apal.2003.11.010     Document Type: Article

References (19)

1. Albert M.H. Category equivalence preserves unification type Algebra Universalis 36 1996 457-466
2. F. Baader, Characterizations of Unification Type Zero, Proc. RTA '89, Lecture Notes in Computer Science, vol. 355, Springer, Berlin, 1989, pp. 2-14.
3. F. Baader, W. Snyder, Unification theory, in: A. Voronkov, A. Robinson (Eds.), Handbook of Automated Reasoning, vol. I, Elsevier, Amsterdam, MIT Press, Cambridge, MA, 2001, pp. 445-533.
4. Bellissima F. Finitely generated free Heyting algebras J. Symbolic Logic 51 1986 152-165
5. F. Borceux, Handbook of Categorical Algebra, vol. II, Cambridge University Press, Cambridge, 1994.
6. Chagrov A. Zakharyaschev M. Model Logic 1997 Oxford University Press Oxford
7. S. Ghilardi, Irreducible models and definable embeddings, in: Logic Colloquium 92, Proc., CSLI Publications, Stanford, CA, 1995, pp. 95-213.
8. Ghilardi S. Unification through projectivity J. Logic Comput. 7 6 1997 733-752
9. Ghilardi S. Unification in intuitionistic logic J. Symbolic Logic 64 2 1999 859-880
10. Ghilardi S. Best solving modal equations Ann. Pure Appl. Logic 102 2000 183-198
11. Ghilardi S. A resolution/tableaux algorithm for projective approximations in IPC Logic J. of the IGPL 10 3 2002 227-241
12. S. Ghilardi, L. Sacchetti, Filtering Unification and Most General Unifiers in Modal Logic, preprint, 2003.
13. Ghilardi S. Zawadowski M. Sheaves, Games and Model Completions, Trends in Logic Series 2002 Kluwer Dordrecht
14. Martin U. Nipkow T. Boolean Unification-the story so far J. Symbolic Comput. 7 1989 275-293
15. Nipkow T. Unification in primal algebras, their powers and their varieties J. Assoc. Comput. Mach. 37 1990 742-776
16. Quackenbush R.W. Demi-semi-primal algebras and Mal'cev-type conditions Math. Z. 122 1971 166-176
17. Rybakov V.V. Rules of inference with parameters for intuitionistic logic J. Symbolic Logic 57 3 1992 912-923
18. Rybakov V.V. Admissibility of Logical Inference Rules 1997 North-Holland Amsterdam
19. Siekmann J. Unification theory J. Symbolic Comput. 7 1989 207-274