Bc. Martin BROUŠEK

Diplomová práce

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
 
Jazyk práce: angličtina
Datum vytvoření / odevzdání či podání práce: 28. 5. 2015
Zveřejnit od: 28. 5. 2015

Obhajoba závěrečné práce

  • Vedoucí: doc. Mgr. Michal Botur, Ph.D.

Citační záznam

Citovat tuto práci
Jak správně citovat práci

BROUŠEK, Martin. MV-algebras. Olomouc, 2015. diplomová práce (Mgr.). UNIVERZITA PALACKÉHO V OLOMOUCI. Přírodovědecká fakulta

Plný text práce

Právo: Autor si přeje zpřístupnit práci veřejnosti od 28.5.2015

Obsah online archivu závěrečné práce
Zveřejněno v Theses:
  • Soubory jsou od 28. 5. 2015 dostupné: světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: UNIVERZITA PALACKÉHO V OLOMOUCI, Přírodovědecká fakulta

UNIVERZITA PALACKÉHO V OLOMOUCI

Přírodovědecká fakulta

Magisterský studijní program / obor:
Matematika / Diskrétní matematika

Práce na příbuzné téma

Seznam prací, které mají shodná klíčová slova.
 
Název
Vložil
Vloženo
Práva
Theses 7mpdoe 7mpdoe/2
28. 5. 2015
Složky
Soubory
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í.