Number of the records: 1
MV-algebras
Title statement MV-algebras [rukopis] / Martin Broušek Additional Variant Titles MV-algebry Personal name Broušek, Martin (dissertant) Translated title MV-algebras Issue data 2015 Phys.des. 37 s. Note Oponent 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 Language angličtina Document kind PUBLIKAČNÍ ČINNOST Title Mgr. Degree program Navazující Degree program Matematika Degreee discipline Diskrétní matematika book
Kvalifikační práce Downloaded Size datum zpřístupnění 00191165-349539634.pdf 41 288.3 KB 28.05.2015 Posudek Typ posudku 00191165-ved-739592273.xlsx Posudek vedoucího 00191165-opon-470312121.pdf Posudek 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