On pseudo-equality algebras

被引:20
作者
Ciungu, Lavinia Corina [1 ]
机构
[1] Univ Iowa, Dept Math, Iowa City, IA 52242 USA
来源
ARCHIVE FOR MATHEMATICAL LOGIC | 2014年 / 53卷 / 5-6期
关键词
Equality algebra; Pseudo-equality algebra; Pseudo-BCK algebra; Meet-semilattice; Pseudo-product condition; Pseudo-distributivity condition; Pseudo-equality distributivity condition; BCK ALGEBRAS;
D O I
10.1007/s00153-014-0380-0
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
Recently, a newalgebraic structure called pseudo-equality algebra has been defined by Jenei and Korodi as a generalization of the equality algebra previously introduced by Jenei. As a main result, it was proved that the pseudo-equality algebras are term equivalent with pseudo-BCK meet-semilattices. We found a gap in the proof of this result and we present a counterexample and a correct version of the theorem. The correct version of the corresponding result for equality algebras is also given.
引用
收藏
页码:561 / 570
页数:10
相关论文
共 6 条
[1]  
Galatos N., 2007, Residuated Lattices: An Algebraic Glimpse at Substructural Logics
[2]  
Georgescu G, 2001, DISCRETE MATH & THEO, P97
[3]  
Iorgulescu A, 2006, J MULT-VALUED LOG S, V12, P71
[4]   Pseudo equality algebras [J].
Jenei, Sandor ;
Korodi, Laszlo .
ARCHIVE FOR MATHEMATICAL LOGIC, 2013, 52 (5-6) :469-481
[5]   Equality Algebras [J].
Jenei, Sandor .
STUDIA LOGICA, 2012, 100 (06) :1201-1209
[6]  
Kuhr J., 2007, DEMONSTR MATH, V40, P495