Browsing by Author "Vujošević, Slobodan"
Previous Page
Now showing items 2-8 of 8
-
Vujošević, Slobodan (Belgrade , 1981)[more][less]
Abstract: The thesis consists of three chapters. Heyting algebras are studied as an equality category in Chapter 1. The properties of filters and ideals of Heyting algebras are presented together with corresponding properties in distributive nets and Boolean algebras. Free, injective and projective Heyting algebras are presented and a theorem about the representation in algebras with closing is proved. Some properties of Heyting algebras, which are important for study of formal logics closely to intuitionistic logic, are also presented. Complete Heyting algebras are studied in Chapter 2. The family of complete Heyting algebras is obtained by repeating of the construction of the algebra of J-operators. Some properties of this family when the initial Heyting algebras is linear order, are studied. Moreover, the characterization of complete Heyting algebras which can be approximated by complete Boolean algebras is given. Duality of categories of topological spaces and complete Heyting algebras are studied in Chapter 3. Some adjunctions are defined, and for those adjunctions the actions of monad and comonad are studied. It is shown that the category of complete Heyting algebras is reflective in the categories of sets, distributive bounded nets and complete Heyting algebras. It is shown that complete Heyting algebras correspond to "deposited" spaces, and distributive bounded nets correspond to a restriction of Ston’s spaces. URI: http://hdl.handle.net/123456789/89 Files in this item: 1
phdSlobodanVujosevic.pdf ( 3.553Mb ) -
Vujošević, Slobodan (Podgorica , 1996)[more][less]
-
Mijajlović, Žarko; Pilipović, Stevan; Vujošević, Slobodan; Pantić, Mihajlo; Živaljević, Ivana; Vučić, Dubravka; Božić, Milan; Hedrih, Katica; Stanković, Radomir; Dumnić, Marija; Šegan, Marija; Novaković, Maja (SANU , 2018)[more][less]
URI: http://hdl.handle.net/123456789/4683 Files in this item: 1
Mihailo Petrovic Alas - Katalog ENG.pdf ( 10.04Mb ) -
Mijajlović, Žarko; Pilipović, Stevan; Milovanović, Gradimir; Mateljević, Miodrag; Albijanić, Miloljub; Andrić, Vojislav; Petrović, Nikola Morena; Vidanović, Đorđe; Vujošević, Slobodan; Pantić, Mihajlo; Božić, Milan; Teofanov, Nenad; Stanković, Radomir; Stevanović Hedrih, Katica; Mihaljević, Miodrag; Ognjanović, Zoran; Dragović, Vladimir; Krejić, Nataša; Seleši, Dora; Novaković, Maja; Šegan-Radonjić, Marija; Jovanović, Boško (Serbian Academy of Sciences and Arts , 2019)[more][less]
URI: http://hdl.handle.net/123456789/4856 Files in this item: 1
MihailoPetrovicAlas_LifeWorkTimes.pdf ( 6.658Mb ) -
Vujošević, Slobodan (HEK , 2017)[more][less]
URI: http://hdl.handle.net/123456789/5407 Files in this item: 2
132_MisljenjeRa ... odanVujosevic_20170103.pdf ( 394.0Kb )132_MisljenjeRa ... odanVujosevic_20170103.pdf ( 394.0Kb ) -
Kovijanić Vukićević, Žana; Vujošević, Slobodan (Univerzitet Crne Gore , 2009)[more][less]
-
Mijajlović, Žarko; Pilipović, Stevo; Vujošević, Slobodan; Živaljević, Ivana; Božić, Milan; Dumnić, Marija; Hedrih, Katica; Šegan, Marija; Novaković, Maja; Mihaljević, Miodrag; Vučić, Dubravka; Stanković, Radomir; Pantić, Mihajlo (SANU , 2018)[more][less]
URI: http://hdl.handle.net/123456789/4682 Files in this item: 1
Mihailo Petrovic Alas - Katalog SRP.pdf ( 10.22Mb )
Previous Page
Now showing items 2-8 of 8