In this seminar paper, we introduce some basic concepts of universal algebra such as algebras, terms, and varieties. We define interpretations. Also, we define lattices, chains, and Heyting algebras, and procede to prove some simple facts about lattices and operations on lattices. Finally, we prove that all interpretations of bounded distributive lattices into the subclass of Heyting algebras which consists of chains, are either trivial or dual.
|
