Number of the records: 1  

Pseudo BCK-algebry

  1. Title statementPseudo BCK-algebry [rukopis] / Jan Krňávek
    Additional Variant TitlesPseudo BCK-algebry
    Personal name Krňávek, Jan (dissertant)
    Translated titlePseudo BCK-algebras
    Issue data2008
    Phys.des.49 s.
    NoteVed. práce Jan Kühr
    Another responsib. Kühr, Jan (thesis advisor)
    Rachůnek, Jiří (opponent)
    Halaš, Radomír (zkoušející)
    Another responsib. Univerzita Palackého. Katedra algebry a geometrie (degree grantor)
    Keywords 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
    Form, Genre diplomové práce master's theses
    UDC (043)378.2
    CountryČesko
    Languagečeština
    Document kindPUBLIKAČNÍ ČINNOST
    TitleMgr.
    Degree programNavazující
    Degree programMatematika
    Degreee disciplineDiskrétní matematika
    book

    book

    Kvalifikační práceDownloadedSizedatum zpřístupnění
    28305-798525627.pdf40376.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.

Number of the records: 1  

  This site uses cookies to make them easier to browse. Learn more about how we use cookies.