Optimal natural dualities for varieties of Heyting algebras

This publication has 9 references indexed in Scilit:

• A Multipurpose Backtracking Algorithm
  Journal of Symbolic Computation, 1994
• Partition-induced natural dualities for varieties of pseudo- complemented distributive lattices
  Discrete Mathematics, 1993
• Optimal natural dualities
  Transactions of the American Mathematical Society, 1993
• Duality Theory on Ten Dollars a Day
  Published by Springer Nature ,1993
• The subalgebra lattice of a Heyting algebra
  Czechoslovak Mathematical Journal, 1987
• Maximal subalgebras of Heyting algebras
  Proceedings of the Edinburgh Mathematical Society, 1986
• Finitely generated free Heyting algebras
  The Journal of Symbolic Logic, 1986
• Piggyback-Dualitäten
  Bulletin of the Australian Mathematical Society, 1985
• Dualities for equational classes of Brouwerian algebras and Heyting algebras
  Transactions of the American Mathematical Society, 1976