Abstract, The Journal of Symbolic Logic, vol.19, issue.01, pp.152-165, 1986. ,
DOI : 10.2307/1969038
Profinite Completions and Canonical Extensions of Heyting Algebras, Order, vol.2, issue.4, pp.143-161, 2006. ,
DOI : 10.1007/s11083-006-9037-x
Maarten de Rijke, Yde Venema Modal logic, 2001. ,
Profinite Heyting Algebras, Order, vol.24, issue.3, pp.211-223, 2008. ,
DOI : 10.1007/s11083-008-9089-1
Codimension and pseudometric in (dual) Heyting algebras, 2008. ,
Intuitionistic logic model theory and forcing, 1969. ,
Free Heyting algebras as bi-Heyting algebras, Marek Zawadowski, Model completions and r-Heyting categories, pp.240-244, 1992. ,
Free and projective Heyting and monadic Heyting algebras , pp. 33?52 in Non-classical Logics and their applications to fuzzy subsets, 1995. ,
Elementary theory of free Heyting algebras, Rep. Math. Logic, vol.23, pp.71-73, 1989. ,
On Closed Elements in Closure Algebras, The Annals of Mathematics, vol.47, issue.1, pp.122-162, 1946. ,
DOI : 10.2307/1969038
Abstract, The Journal of Symbolic Logic, vol.52, issue.01, pp.33-52, 1992. ,
DOI : 10.1016/0022-4049(83)90104-4
The elementary theories of free topo-Boolean and pseudo- Boolean algebras, Mat. Zametki, vol.37, issue.6, pp.797-802, 1985. ,
Topological representations of Distributive Lattices and Brouwerian Logics, ? Casopis pro?pestovánípro? pro?pestovánpro?pestování matematikyv a fysiky, pp.1-25, 1937. ,
Free Heyting Algebras, Algebra Univ, pp.94-97, 1973. ,