Počet záznamů: 1
Pseudo BCK-algebry
Údaje o názvu Pseudo BCK-algebry [rukopis] / Jan Krňávek Další variantní názvy Pseudo BCK-algebry Osobní jméno Krňávek, Jan (autor diplomové práce nebo disertace) Překl.náz Pseudo BCK-algebras Vyd.údaje 2008 Fyz.popis 49 s. Poznámka Ved. práce Jan Kühr Dal.odpovědnost Kühr, Jan (vedoucí diplomové práce nebo disertace) Rachůnek, Jiří (oponent) Halaš, Radomír (zkoušející) Dal.odpovědnost Univerzita Palackého. Katedra algebry a geometrie (udelovatel akademické hodnosti) Klíč.slova Pseudo BCK-algebry * Pseudo MV-algebry * Residuované monoidy * Deduktivní systém * Polosvaz se sekčně antitonními permutacemi * Pseudo efektové algebry * Pseudo BCK-algebras * Pseudo MV-algebras * Residuated monoids * Deductive systems * Semilattices with sectionally antitone permutations * Pseudo-effect algebras Forma, žánr diplomové práce master's theses MDT (043)378.2 Země vyd. Česko Jazyk dok. čeština Druh dok. PUBLIKAČNÍ ČINNOST Titul Mgr. Studijní program Navazující Studijní program Matematika Studijní obor Diskrétní matematika kniha
Kvalifikační práce Staženo Velikost datum zpřístupnění 28305-798525627.pdf 41 376.1 KB 31.03.2008 Posudek Typ posudku 28305-ved-565945694.pdf Posudek vedoucího 28305-opon-504112553.pdf Posudek oponenta
V textu jsou studovány pseudo BCK-algebry jako uspořádání s největším prvkem a dvěma binárními operacemi. Je ukázáno, že pseudo MV-algebry jsou ekvivalentní s ohraničenými komutativními pseudo BCK-algebrami, a že lze každá pseudo BCK-algebra vnořit do nějakého integrálního residuovaného monoidu. Jsou zde popsány deduktivní systémy jako speciální horní konce. Charakterizovány pseudo efektová algebry (polosvazy se sekčně antitonními permutacemi) pomocí dvou binárních operací a konstanty.In this text, We study pseudo BCK-algebras as orders with greatest element and two binary operations. We show that pseudo MV-algebras are equivalent with bounded commutative pseudo BCK-algebras and that we can dip every pseudo BCK-algebra into some integral residuated monoid. We describe deductive systems as special filters. We characterize pseudo-effect algebras (semilattices with sectionally antitone permutations) by means of two binary operations and constant.
Počet záznamů: 1