On BCK algebras: Part II: New algebras. The ordinal sum (product) of two bounded BCK algebras |
| |
Authors: | Afrodita Iorgulescu |
| |
Affiliation: | (1) Department of Computer Science, Academy of Economic Studies, Piaţa Romană Nr.6 - R 70167, Oficiul Poştal 22, Bucharest, Romania |
| |
Abstract: | Since all the algebras connected to logic have, more or less explicitly, an associated order relation, it follows, by duality
principle, that they have two presentations, dual to each other. We classify these dual presentations in “left” and “right”
ones and we consider that, when dealing with several algebras in the same research, it is useful to present them unitarily,
either as “left” algebras or as “right” algebras. In some circumstances, this choice is essential, for instance if we want
to build the ordinal sum (product) between a BL algebra and an MV algebra. We have chosen the “left” presentation and several
algebras of logic have been redefined as particular cases of BCK algebras. We introduce several new properties of algebras
of logic, besides those usually existing in the literature, which generate a more refined classification, depending on the
properties satisfied. In this work (Parts I–V) we make an exhaustive study of these algebras—with two bounds and with one
bound—and we present classes of finite examples, in bounded case. In Part II, we continue to present new properties, and consequently
new algebras; among them, bounded α γ algebra is a common generalization of MTL algebra and divisible bounded residuated lattice
(bounded commutative Rl-monoid). We introduce and study the ordinal sum (product) of two bounded BCK algebras.
Dedicated to Grigore C. Moisil (1906–1973). |
| |
Keywords: | MV algebra Wajsberg algebra Generalized-MV algebra Generalized-Wajsberg algebra BCK algebra BCK(P) lattice Residuated lattice BL algebra Hájek(P) algebra Generalized-BL algebra Divisible BCK(P) lattice Heyting algebra Weak-BL algebra MTL algebra IMTL algebra WNM algebra NM algebra R0 algebra t-norm Pocrim |
本文献已被 SpringerLink 等数据库收录! |
|