Embeddings into Free Heyting Algebras and Translations into Intuitionistic Propositional Logic.

Michael O'Connor

Browse the full LFCS paper archive.