Title of article
Unification, finite duality and projectivity in varieties of Heyting algebras Original Research Article
Author/Authors
Silvio Ghilardi، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2004
Pages
17
From page
99
To page
115
Abstract
We investigate finitarity of unification types in locally finite varieties of Heyting algebras, giving both positive and negative results. We make essential use of finite dualities within a conceptualization for E-unification theory (J. Logic and Computation 7(6) (1997) 733–752) relying on the algebraic notion of a projective object.
Keywords
Projective algebras , Varieties of Heyting algebras , E-unification
Journal title
Annals of Pure and Applied Logic
Serial Year
2004
Journal title
Annals of Pure and Applied Logic
Record number
889964
Link To Document