Embeddings into Free Heyting Algebras and Translations into Intuitionistic Propositional Logic

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

2007-02-22

arxiv.org/abs/math/0702651v1

Mathematics

Logic

16 pages; will be presented at Logical Foundations of Computer Science '07

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Embeddings into Free Heyting Algebras and Translations into Intuitionistic Propositional Logic does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Embeddings into Free Heyting Algebras and Translations into Intuitionistic Propositional Logic, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Embeddings into Free Heyting Algebras and Translations into Intuitionistic Propositional Logic will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-102261