Classes of examples of pseudo-MV algebras, pseudo-BL algebras and divisible bounded non-commutative residuated lattices

被引:5
|
作者
Iorgulescu, Afrodita [1 ]
机构
[1] Acad Econ Studies, Dept Comp Sci, R-70167 Bucharest, Romania
关键词
Pseudo-MV algebra; Pseudo-Wa[!text type='js']js[!/text]berg algebra; Pseudo-BCK algebra; Pseudo-BL algebra; Pseudo-Hajek(pP) algebra; Divisible bounded non-commutative residuated lattice; Divisible bounded pseudo-BCK(pP) lattice; BCK ALGEBRAS;
D O I
10.1007/s00500-009-0405-5
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
We illustrate by classes of examples the close connections existing between pseudo-MV algebras, on the one hand, and pseudo-BL algebras and divisible bounded non-commutative residuated lattices, on the other hand. We use equivalent definitions of these algebras, as particular cases of pseudo-BCK algebras. We analyse the strongness, the pseudo-involutive center and the filters for each example.
引用
收藏
页码:313 / 327
页数:15
相关论文
共 48 条