1 citations · 1 across the 5 of their papers we have counts for
Showing math.RAShow all
2 papers · 1 filter
math.RA2023★ 1 cited
Transitivity of implicative aBE algebras
Denis Zelent
We prove that every implicative aBE algebra satisfies the transitivity property. This means that every implicative aBE algebra is a Tarski algebra, and thus is also a commutative B…
math.RA2023
On Traczyk's BCK-sequences
Denis Zelent
BCK-sequences and n-commutative BCK-algebras were introduced by T. Traczyk, together with two related problems. The first one, whether BCK-sequences are always prolongable. The sec…