Jan Krňávek
Diplomová práce
Pseudo BCK-algebry
Pseudo BCK-algebras
Anotace:
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 …víceAbstract:
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 …více
Jazyk práce: čeština
Datum vytvoření / odevzdání či podání práce: 31. 3. 2008
Obhajoba závěrečné práce
- Obhajoba proběhla 24. 4. 2008
- Vedoucí: Jan Kühr
- Oponent: Jiří Rachůnek
Plný text práce
Obsah online archivu závěrečné práce
Zveřejněno v Theses:- Soubory jsou od 31. 3. 2008 dostupné: světu
Univerzita Palackého
Přírodovědecká fakultaMagisterský studijní program / obor:
Matematika / Diskrétní matematika
Práce na příbuzné téma
-
Algebraic models for quantum logic
Kadir Emir -
BCI/BCK-algebry a jejich vnoření do semi-integrálních/integrálních reziduovaných po-monoidů
Petr SAPÁK -
BCI-algebry
Tomáš BUCHER
Název
Vložil
Vloženo
Práva