Bc. Martin BROUŠEK
Master's thesis
MV-algebras
MV-algebras
Abstract:
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.Abstract:
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.
Language used: English
Date on which the thesis was submitted / produced: 28. 5. 2015
Accessible from:: 28. 5. 2015
Thesis defence
- Supervisor: doc. Mgr. Michal Botur, Ph.D.
Citation record
The right form of listing the thesis as a source quoted
BROUŠEK, Martin. MV-algebras. Olomouc, 2015. diplomová práce (Mgr.). UNIVERZITA PALACKÉHO V OLOMOUCI. Přírodovědecká fakulta
Full text of thesis
Accessibility: Autor si přeje zpřístupnit práci veřejnosti od 28.5.2015
Contents of on-line thesis archive
Published in Theses:- Soubory jsou od 28. 5. 2015 dostupné: světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: UNIVERZITA PALACKÉHO V OLOMOUCI, Přírodovědecká fakultaPALACKÝ UNIVERSITY OLOMOUC
Faculty of ScienceMaster programme / field:
Mathematics / Discrete Mathematics
Theses on a related topic
-
Reprezentace některých algeber v kladném kužel l-grupy
Šárka DOSOUDILOVÁ -
Algebry v kladném a záporném kuželu l-grupy
Šárka Dosoudilová -
Uspořádané grupy
Petr BAŘINA
Name
Posted by
Uploaded/Created
Rights