On Heyting Algebras with Negative Tense Operators
Heyting Algebras
Locally finite varieties of Heyting algebras
Profinite Completions and Canonical Extensions of Heyting Algebras
Partial algebras and complexity of satisfiability and universal theory for distributive lattices, boolean algebras and Heyting algebras
Topo-canonical completions of closure algebras and Heyting algebras
Expansions of Semi-Heyting Algebras I: Discriminator Varieties
Optimal natural dualities for varieties of Heyting algebras
Sub-Post Algebras; Double Heyting Algebras