Number of the records: 1  

Variety MV-algeber

  1. Title statementVariety MV-algeber [rukopis] / Václav Cenker
    Additional Variant TitlesVariety MV-algeber
    Personal name Cenker, Václav, (dissertant)
    Translated titleVarieties of MV-algebras
    Issue data2022
    Phys.des.73
    NoteOponent Radomír Halaš
    Ved. práce Jan Kühr
    Another responsib. Halaš, Radomír (opponent)
    Kühr, Jan (thesis advisor)
    Another responsib. Univerzita Palackého. Katedra algebry a geometrie (degree grantor)
    Keywords MV-algebra * MV-řetězec * abelovská l-grupa * varieta MV-algeber * BCK-algebra * LBCK-algebra * univerzální algebra * vícehodnotová logika * MV-algebra * MV-chain * abelian l-group * variety of MV-algebras * BCK-algebra * LBCK-algebra * universal algebra * many-valued logic
    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 programDiskrétní matematika
    Degreee disciplineDiskrétní matematika
    book

    book

    Kvalifikační práceDownloadedSizedatum zpřístupnění
    00270979-857939051.pdf171.3 MB27.06.2022
    PosudekTyp posudku
    00270979-ved-624733213.pdfPosudek vedoucího
    00270979-opon-328393897.xlsxPosudek oponenta

    Cílem práce je shrnout známé výsledky o varietách MV-algeber, popsat svaz podvariet variety všech MV-algeber a axiomatizovat všechny podvariety. K tomu účelu práce využívá reprezentace MV-algeber pomocí abelovských l-grup. Navíc se práce zabývá také varietou LBCK-algeber a svazem podvariet variety všech LBCK-algeber.The aim of the thesis is to summarize known results on varieties of MV-algebras including detailed description of the lattice of subvarieties and equational characterization of all subvarieties. For that purpose we widely use representation of MV-algebras by abelian l-groups. Part of the work is also devoted to LBCK-algebras and their varieties.

Number of the records: 1  

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