Locally Finite Reducts of Heyting Algebras and Canonical Formulas

Guram Bezhanishvili, Nick Bezhanishvili. Locally Finite Reducts of Heyting Algebras and Canonical Formulas. Notre Dame Journal of Formal Logic, 58(1):21-45, 2017. [doi]

Abstract

Abstract is missing.