On some connections between Boolean algebras and Heyting algebras Dimitrii E. Pal'chunov; Alain Touraille — 1992 Annales scientifiques de l'Université de Clermont. Mathématiques