Embeddings into Free Heyting Algebras and Translations into Intuitionistic Propositional Logic
Logic
2007-05-23 v1
Abstract
We find a translation with particularly nice properties from intuitionistic propositional logic in countably many variables to intuitionistic propositional logic in two variables. In addition, the existence of a possibly-not-as-nice translation from any countable logic into intuitionistic propositional logic in two variables is shown. The nonexistence of a translation from classical logic into intuitionistic propositional logic which preserves ``and'' and ``or'' but not necessarily ``true'' is proven. These results about translations follow from additional results about embeddings into free Heyting algebras.
Keywords
Cite
@article{arxiv.math/0702651,
title = {Embeddings into Free Heyting Algebras and Translations into Intuitionistic Propositional Logic},
author = {Michael O'Connor},
journal= {arXiv preprint arXiv:math/0702651},
year = {2007}
}
Comments
16 pages; will be presented at Logical Foundations of Computer Science '07