Embeddings into Free Heyting Algebras and Translations into Intuitionistic Propositional Logic
| dc.creator | O'Connor, Michael | |
| dc.date | 2007-02-22 | |
| dc.date.accessioned | 2026-07-07T07:48:14Z | |
| dc.date.available | 2026-07-07T07:48:14Z | |
| dc.description | 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. | |
| dc.description | 16 pages; will be presented at Logical Foundations of Computer Science '07 | |
| dc.identifier | https://arxiv.org/abs/math/0702651 | |
| dc.identifier | http://arxiv.org/abs/math/0702651 | |
| dc.identifier.uri | http://salesiana.dossiersoluciones.com/handle/123456789/124423 | |
| dc.subject | Logic | |
| dc.subject | 03F55 | |
| dc.title | Embeddings into Free Heyting Algebras and Translations into Intuitionistic Propositional Logic | |
| dc.type | text |