Počet záznamů: 1  

Pseudo BCK-algebry

  1. Údaje o názvuPseudo BCK-algebry [rukopis] / Jan Krňávek
    Další variantní názvyPseudo BCK-algebry
    Osobní jméno Krňávek, Jan (autor diplomové práce nebo disertace)
    Překl.názPseudo BCK-algebras
    Vyd.údaje2008
    Fyz.popis49 s.
    PoznámkaVed. práce Jan Kühr
    Dal.odpovědnost Kühr, Jan (vedoucí diplomové práce nebo disertace)
    Rachůnek, Jiří (oponent)
    Halaš, Radomír (zkoušející)
    Dal.odpovědnost Univerzita Palackého. Katedra algebry a geometrie (udelovatel akademické hodnosti)
    Klíč.slova Pseudo BCK-algebry * Pseudo MV-algebry * Residuované monoidy * Deduktivní systém * Polosvaz se sekčně antitonními permutacemi * Pseudo efektové algebry * Pseudo BCK-algebras * Pseudo MV-algebras * Residuated monoids * Deductive systems * Semilattices with sectionally antitone permutations * Pseudo-effect algebras
    Forma, žánr diplomové práce master's theses
    MDT (043)378.2
    Země vyd.Česko
    Jazyk dok.čeština
    Druh dok.PUBLIKAČNÍ ČINNOST
    TitulMgr.
    Studijní programNavazující
    Studijní programMatematika
    Studijní oborDiskrétní matematika
    kniha

    kniha

    Kvalifikační práceStaženoVelikostdatum zpřístupnění
    28305-798525627.pdf41376.1 KB31.03.2008
    PosudekTyp posudku
    28305-ved-565945694.pdfPosudek vedoucího
    28305-opon-504112553.pdfPosudek oponenta

    V textu jsou studovány pseudo BCK-algebry jako uspořádání s největším prvkem a dvěma binárními operacemi. Je ukázáno, že pseudo MV-algebry jsou ekvivalentní s ohraničenými komutativními pseudo BCK-algebrami, a že lze každá pseudo BCK-algebra vnořit do nějakého integrálního residuovaného monoidu. Jsou zde popsány deduktivní systémy jako speciální horní konce. Charakterizovány pseudo efektová algebry (polosvazy se sekčně antitonními permutacemi) pomocí dvou binárních operací a konstanty.In this text, We study pseudo BCK-algebras as orders with greatest element and two binary operations. We show that pseudo MV-algebras are equivalent with bounded commutative pseudo BCK-algebras and that we can dip every pseudo BCK-algebra into some integral residuated monoid. We describe deductive systems as special filters. We characterize pseudo-effect algebras (semilattices with sectionally antitone permutations) by means of two binary operations and constant.

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.