20.500.12556/RUL-140908 Heytingove algebre in interpretacije delo diplomskega seminarja 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. algebre izrazi raznoterosti mreže Heytingove algebre interpretacije algebras terms varieties lattices Heyting algebras interpretations true false false Slovenski jezik Angleški jezik Delo diplomskega seminarja/zaključno seminarsko delo/naloga 2022-09-21 08:15:05 2022-09-21 08:15:06 2024-05-29 12:00:21 0000-00-00 00:00:00 2022 0 0 0000-00-00 NiDoloceno NiDoloceno NiDoloceno 0000-00-00 0000-00-00 0000-00-00 512 127624 122593795 6047.pdf 6047.pdf 1 C284CDAC0ED90AC7F84EA6B5287B309D 1a71f3f1e7f575cf87ae313e6641ef7c67983d964398c050b92b18341709dec7 a7dee5e5-3974-11ed-92af-00155dcfd717 https://repozitorij.uni-lj.si/Dokument.php?lang=slv&id=161752 Fakulteta za matematiko in fiziko 0 0 0