Number of the records: 1  

MV-algebras

  1. Title statementMV-algebras [rukopis] / Martin Broušek
    Additional Variant TitlesMV-algebry
    Personal name Broušek, Martin (dissertant)
    Translated titleMV-algebras
    Issue data2015
    Phys.des.37 s.
    NoteOponent Ivan Chajda
    Ved. práce Michal Botur
    Another responsib. Chajda, Ivan, 1946- (opponent)
    Botur, Michal (thesis advisor)
    Another responsib. Univerzita Palackého. Katedra algebry a geometrie (degree grantor)
    Keywords MV-algebry * l-grupy * Mundiciho funktor * representační věty * standardní MV-algebra * Changova reprezentace * MV-algebras * l-groups * Mundici functor * representation theorems * standard MV-algebra * Chang's representation
    Form, Genre diplomové práce master's theses
    UDC (043)378.2
    CountryČesko
    Languageangličtina
    Document kindPUBLIKAČNÍ ČINNOST
    TitleMgr.
    Degree programNavazující
    Degree programMatematika
    Degreee disciplineDiskrétní matematika
    book

    book

    Kvalifikační práceDownloadedSizedatum zpřístupnění
    00191165-349539634.pdf39288.3 KB28.05.2015
    PosudekTyp posudku
    00191165-ved-739592273.xlsxPosudek vedoucího
    00191165-opon-470312121.pdfPosudek oponenta

    MV-algebry jsou modely vícehodnotových Łukasiewiczových logik. Jejich reprezentace, která je důležitým aspektem, je hlavní náplní této práce. Práce samotná představuje nový přístup ke konstrukci Mundiciho funktoru pomocí faktorizace množiny slov nad MV-algebrou pomocí ekvivalence definované prostřednictvím existence speciálních matic nad danou MV-algebrou.MV-algebras are models of well-known multi-valued Łukasiewicz logic. Their representation, which is an important aspect, is the main content of this work. The work itself introduces a new aproach to the construction of the Mundici functor using factorization of words over an MV-algebra by an equivalence defined by the existence of particular matrices over the MV-algebra.

Number of the records: 1  

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