Number of the records: 1
Operators on Ordered Algebras
Title statement Operators on Ordered Algebras [rukopis] / Zdeněk Svoboda Additional Variant Titles Uspořádané algebraické struktury Personal name Svoboda, Zdeněk (dissertant) Translated title Operators on Ordered Algebras Issue data 2016 Phys.des. 35 Note Ved. práce Jiří Rachůnek Another responsib. Rachůnek, Jiří (thesis advisor) Another responsib. Univerzita Palackého. Katedra algebry a geometrie (degree grantor) Keywords residuovaný svaz * basic algebra * uzávěrový operátor * vnitřkový operátor * modální operátor * residuated lattice * basic algebra * closure operator * interior operator * modal operator Form, Genre disertace dissertations UDC (043.3) Country Česko Language angličtina Document kind PUBLIKAČNÍ ČINNOST Title Ph.D. Degree program Doktorský Degree program Matematika Degreee discipline Algebra a geometrie book
Kvalifikační práce Downloaded Size datum zpřístupnění 00180120-414458509.pdf 13 1.5 MB 15.03.2016 Posudek Typ posudku 00180120-ved-388312276.pdf Posudek vedoucího 00180120-opon-116716086.pdf Posudek oponenta Průběh obhajoby datum zadání datum odevzdání datum obhajoby přidělená hodnocení typ hodnocení 00180120-prubeh-106445815.pdf 30.09.2008 15.03.2016 15.06.2016 S 2
Topologické Booleovské algebry (uzávěrové algebry resp. vnitřkové algebry) představují zobecnění topologických prostorů definovaných pomocí topologických uzávěrových a vnitřkových operátorů. Je známo, že MV-algebry před-stavují algebraický protějšek Lukasiewiczovy nekonečně hodnotové logiky podobně jako Booleovské algebry plní tuto funkci pro klasickou dvouhodnotovou logiku. Residuované svazy tvoří širokou třídu algeber obsahující jak MV-algebry tak také další algebry, které lze považovat za algebraické sémantiky obecnějších logik než je klasická. Basic algebry byly zavedeny jakožto neasociativní zobecnění MV-algeber a představují společný základ pro MV-algebry a ortomodulární svazy. Aditivní uzávěrové a multiplikativní vnitřkové operátory na MV-algebrách byly zavedeny jakožto zobecnění topologických Booleovských algeber. V práci zavádíme a zkoumáme aditivní uzávěrové a multiplikativní vnitřkové operátory na residuovaných svazech (komutativních i nekomutativních) a na komutativních basic algebrách. Dále studujeme vlastnosti modálních operátorů (představujících speciální případ uzávěrových operátorů) na residuovaných svazech a na komutativních basic algebrách.Topological Boolean algebras (closure algebras, resp. interior algebras) are generalizations of topological spaces defined by means of topological closure and interior operators. It is well known that MV-algebras are an algebraic counterpart of the Lukasiewicz infinite valued propositional logic as well as Boolean algebras play this role for classical two valued logic. Residuated lattices form a wide class of algebras, which contains the class of MV-algebras as well as other algebras that can be taken as algebraic semantics of a more general logic than the classic logic. Basic algebras have been introduced as non-associative generalizations of MV-algebras. Basic algebras are in a sense a common base for MV-algebras and orthomodular lattices. Additive closure and multiplicative interior operators on MV-algebras were introduced as generalization of topological Boolean algebras. We introduce and investigate additive closure and multiplicative interior operators on residuated lattices (both in the commutative and non-commutative case) and on commutative basic algebras. Moreover, we study modal operators (special cases of closure operators) on residuated lattices and on commutative basic algebras.
Number of the records: 1