Number of the records: 1
Pseudo BCK-algebry
Title statement Pseudo BCK-algebry [rukopis] / Jan Krňávek Additional Variant Titles Pseudo BCK-algebry Personal name Krňávek, Jan (dissertant) Translated title Pseudo BCK-algebras Issue data 2008 Phys.des. 49 s. Note Ved. práce Jan Kühr Another responsib. Kühr, Jan (thesis advisor) Rachůnek, Jiří (opponent) Halaš, Radomír (zkoušející) Another responsib. Univerzita Palackého. Katedra algebry a geometrie (degree grantor) Keywords 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 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í 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.
Number of the records: 1