Abstract
AbstractWe show that the variety of Heyting algebras has finitary unification type. We also show that the subvariety obtained by adding it De Morgan law is the biggest variety of Heyting algebras having unitary unification type. Proofs make essential use of suitable characterizations (both from the semantic and the syntactic side) of finitely presented projective algebras.
Publisher
Cambridge University Press (CUP)
Reference23 articles.
1. Free Heyting algebras
2. The universal theory of the free pseudo-Boolean algebra in extended signature;Rybakov;Contemporary Mathematics,1992
3. Unification through projectivity
4. Ghilardi S. , E-unification in some varieties of Heyting algebras, in preparation.
Cited by
146 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献