Sapák, Petr
BCI/BCK-algebry a jejich vnoření do semi-integrálních/integrálních reziduovaných po-monoidů [rukopis] / Petr Sapák. -- 2016. -- 39. -- Oponent Ivan Chajda. -- Ved. práce Jan Kühr. -- Abstrakt: 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.. -- Abstrakt: 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.
Chajda, Ivan, 1946-. Kühr, Jan. Univerzita Palackého. Katedra algebry a geometrie
BCI-algebra. BCK-algebra. vnoření. uspořádaný monoid. reziduovaný svaz. filtr. BCI-algebra. BCK-algebra. embedding. po-monoid. residuated lattice. filter. diplomové práce
(043)378.2