Showing math.RAShow all
2 papers · 1 filter
math.RA2018
Some properties of pseudo-BCK- and pseudo-BCI-algebras
Petr Emanovský, Jan Kühr
Pseudo-BCI-algebras generalize both BCI-algebras and pseudo-BCK-algebras, which are a non-commutative generalization of BCK-algebras. In this paper, following [J.G. Raftery and C.J…
math.RA2018
A note on residuated po-groupoids and lattices with antitone involutions
Ivan Chajda, Jan Kühr
Following [Botur, M., Chajda, I., Halaš, R.: Are basic algebras residuated structures?, Soft Comput. 14 (2010), 251-255] we discuss the connections between left-residuated partiall…