Počet záznamů: 1  

Operators on Ordered Algebras

  1. Údaje o názvuOperators on Ordered Algebras [rukopis] / Zdeněk Svoboda
    Další variantní názvyUspořádané algebraické struktury
    Osobní jméno Svoboda, Zdeněk (autor diplomové práce nebo disertace)
    Překl.názOperators on Ordered Algebras
    Vyd.údaje2016
    Fyz.popis35
    PoznámkaVed. práce Jiří Rachůnek
    Dal.odpovědnost Rachůnek, Jiří (vedoucí diplomové práce nebo disertace)
    Dal.odpovědnost Univerzita Palackého. Katedra algebry a geometrie (udelovatel akademické hodnosti)
    Klíč.slova 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
    Forma, žánr disertace dissertations
    MDT (043.3)
    Země vyd.Česko
    Jazyk dok.angličtina
    Druh dok.PUBLIKAČNÍ ČINNOST
    TitulPh.D.
    Studijní programDoktorský
    Studijní programMatematika
    Studijní oborAlgebra a geometrie
    kniha

    kniha

    Kvalifikační práceStaženoVelikostdatum zpřístupnění
    00180120-414458509.pdf131.5 MB15.03.2016
    PosudekTyp posudku
    00180120-ved-388312276.pdfPosudek vedoucího
    00180120-opon-116716086.pdfPosudek oponenta
    Průběh obhajobydatum zadánídatum odevzdánídatum obhajobypřidělená hodnocenítyp hodnocení
    00180120-prubeh-106445815.pdf30.09.200815.03.201615.06.2016S2

    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.

Počet záznamů: 1  

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.