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 relying on the algebraic notion of a projective object.
Unification, Finite Duality and Projectivity in Locally Finite Varieties of Heyting Algebras / Silvio Ghilardi. - In: ANNALS OF PURE AND APPLIED LOGIC. - ISSN 0168-0072. - 127:1-3(2004), pp. 99-115.
Unification, Finite Duality and Projectivity in Locally Finite Varieties of Heyting Algebras
Silvio Ghilardi
2004
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 relying on the algebraic notion of a projective object.
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
