| | |
| | |
Stat |
Members: 3645 Articles: 2'506'133 Articles rated: 2609
27 April 2024 |
|
| | | |
|
Article overview
| |
|
Embeddings into Free Heyting Algebras and Translations into Intuitionistic Propositional Logic | Michael O’Connor
; | Date: |
22 Feb 2007 | Subject: | Logic | 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. | Source: | arXiv, math/0702651 | Services: | Forum | Review | PDF | Favorites |
|
|
No review found.
Did you like this article?
Note: answers to reviews or questions about the article must be posted in the forum section.
Authors are not allowed to review their own article. They can use the forum section.
|
| |
|
|
|
| News, job offers and information for researchers and scientists:
| |