Heyting Algebras and Interpretations

V tem seminarskem delu definiramo nekaj osnovnih pojmov univerzalne algebre, kot so algebre, izrazi in raznoterosti. Definiramo pojem interpretacije. Uvedemo mreže, verige in Heytingove algebre ter dokažemo nekaj preprostejših dejstev o mrežah in operacijah na njih. Končno dokažemo, da so vse interpretacije omejenih distributivnih mrež v podrazred Heytingovih algeber, sestavljen iz verig, bodisi trivialne bodisi dualne.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