Bc. Václav CENKER

Master's thesis

Variety MV-algeber

Varieties of MV-algebras
Anotácia:
Cílem práce je shrnout známé výsledky o varietách MV-algeber, popsat svaz podvariet variety všech MV-algeber a axiomatizovat všechny podvariety. K tomu účelu práce využívá reprezentace MV-algeber pomocí abelovských l-grup. Navíc se práce zabývá také varietou LBCK-algeber a svazem podvariet variety všech LBCK-algeber.
Abstract:
The aim of the thesis is to summarize known results on varieties of MV-algebras including detailed description of the lattice of subvarieties and equational characterization of all subvarieties. For that purpose we widely use representation of MV-algebras by abelian l-groups. Part of the work is also devoted to LBCK-algebras and their varieties.
 

Kľúčové slová

MV-algebra MV-řetězec abelovská l-grupa varieta MV-algeber BCK-algebra LBCK-algebra univerzální algebra vícehodnotová logika
 
Jazyk práce: Czech
Datum vytvoření / odevzdání či podání práce: 27. 6. 2022

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

  • Vedúci: prof. RNDr. Jan Kühr, Ph.D.

Citační záznam

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

CENKER, Václav. Variety MV-algeber. Olomouc, 2022. diplomová práce (Mgr.). UNIVERZITA PALACKÉHO V OLOMOUCI. Přírodovědecká fakulta

Plný text práce

Obsah online archivu závěrečné práce
Zveřejněno v Theses:
  • 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
https://stag.upol.cz/StagPortletsJSR168/CleanUrl?urlid=prohlizeni-prace-detail&praceIdno=270979 Odkaz na soubor do lokálního úložiště instituce

Palacký University Olomouc

Faculty of Science

Master programme / odbor:
Discrete Mathematics / Discrete Mathematics

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

Seznam prací, které mají shodná klíčová slova.
 
Názov
Vložil
Vložené
Práva
Theses 5ozzvu 5ozzvu/2
27. 6. 2022
Složky
Soubory
thesis Cenker_Vaclav_Diplomova_prace.pdf
MARKLOVÁ, E.
28. 6. 2022

  • 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í.