Zpět na vyhledávání

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.
 

Keywords

MV-algebry l-grupy Mundiciho funktor representační věty standardní MV-algebra Changova reprezentace
 
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

Cite this text
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á fakulta

PALACKÝ UNIVERSITY OLOMOUC

Faculty of Science

Master programme / field:
Mathematics / Discrete Mathematics

Theses on a related topic

List of theses with an identical keyword.
 
Name
Posted by
Uploaded/Created
Rights
Theses 7mpdoe 7mpdoe/2
28/5/2015
Folders
Files
thesis DP.pdf
MARKLOVÁ, E.
29/5/2015

  • Co je jinak přidání souboru

    Soubor nebo složku lze nahrát pomocí tlačítka Přidat.

  • Co je jinak další operace se soubory

    Podrobnosti lze zjistit označením příslušného řádku.

  • Co je jinak pohled pro experty

    Pro častou práci je možné zvolit režim Více možností.

  • Co je nové vyhledávání souborů

    Vyhledávaný výraz můžete zadat přímo do adresního řádku.

  • Co je nové rychlý přístup k souborům

    Pomocí funkce Nedávné je možné se rychle vrátit k právě prohlíženým souborům. Oblíbené soubory je také možné označit Hvězdičkou.

  • Co se chystá

    Připravujeme další vylepšení pro mobilní zařízení.