Number of the records: 1
BCI/BCK-algebry a jejich vnoření do semi-integrálních/integrálních reziduovaných po-monoidů
Title statement BCI/BCK-algebry a jejich vnoření do semi-integrálních/integrálních reziduovaných po-monoidů [rukopis] / Petr Sapák Additional Variant Titles Reziduované po-monoidy, BCK- a BCI-algebry Personal name Sapák, Petr (dissertant) Translated title Residuated po-monoids, BCK- and BCI-algebras Issue data 2016 Phys.des. 39 Note Oponent Ivan Chajda Ved. práce Jan Kühr Another responsib. Chajda, Ivan, 1946- (opponent) Kühr, Jan (thesis advisor) Another responsib. Univerzita Palackého. Katedra algebry a geometrie (degree grantor) Keywords BCI-algebra * BCK-algebra * vnoření * uspořádaný monoid * reziduovaný svaz * filtr * BCI-algebra * BCK-algebra * embedding * po-monoid * residuated lattice * filter Form, Genre diplomové práce master's theses UDC (043)378.2 Country Česko Language češ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í 00193826-427794389.pdf 37 365.9 KB 27.06.2016 Posudek Typ posudku 00193826-ved-676836086.pdf Posudek vedoucího 00193826-opon-985206697.pdf Posudek oponenta
Diplomová práce pojednává o vytvoření nové konstrukce vnoření BCI-algebery do semi-integrálního reziduovaného po-monoidu, které zachovává existující svazová spojení. Důležitou součástí práce je popis základních vlastností po-monoidů a BCI-algeber. Dále pak předvedení dvou již existujích konstrukcí, ze kterých nová konstrukce vychází. V poslední kapitole je pak ukázáno, že nové vnoření je zobecněním obou starších, i když každé z nich v jiném smyslu.This master's thesis elaborates the construction of a new embedding of a BCI-algebra into a semi-integral residuated po-monoid, which preserves the existing lattice joins. An important part of this work is a description of the basic properties of po-monoids and BCI-algebras. Further the demonstration of two constructions that already exist, on which the new construction is based. The last chapter shows that the new embedding is a generalization of the two older ones, though each in a different sense.
Number of the records: 1