3 citations · 5 across the 5 of their papers we have counts for
Showing math.LOShow all
2 papers · 1 filter
math.LO2013★ 2 cited
On commutative weak BCK-algebras
Janis Cirulis
The class of weak BCK-algebras is obtained by weakening one of standard BCK axioms. It is known that every weak BCK-algebra is completely determined by the structure of its initial…
math.LO2007
On implications in sectionally pseudocomplemented posets
J\{=}anis C\=ırulis
A sectionally pseudocomplemented poset P is one which has the top element and in which every principal order filter is a pseudocomplemented poset. The sectional pseudocomplements g…