On the structure of linearly ordered pseudo-BCK-algebras
It is a nice, very interesting paper. First, the authors recall the notions of (bounded) porim, integral residuated lattice, pseudo-BCK algebra, pseudo-BCK(pP) algebra, pseudo-hoop, pseudo-BL algebra, basic pseudo-hoop, Wajsberg pseudo-hoop, pseudo-MV algebra, cone algebra, pseudo-ŁBCK algebra and their connections, in order to establish the auxiliary result that for every (linearly ordered) cone algebra \textbf{A} there exists a bounded (linearly ordered) Wajsberg pseudo-hoop \textbf{M} such that \textbf{A} can be embedded into \((M, \rightarrow, \rightsquigarrow,1)\). Then, the authors introduce the concept of \textit{cut} of a linearly ordered pseudo-BCK algebra and the identities (H) and (J), that play a central role in the paper, \[ \begin{aligned} (x \rightarrow y) \rightarrow (x \rightarrow z)&= (y \rightarrow x) \rightarrow (y \rightarrow z), \tag{H}\\ (((x \rightarrow y) \rightsquigarrow y) \rightarrow x) \rightsquigarrow x&= (((y \rightsquigarrow x) \rightarrow x) \rightsquigarrow y) \rightarrow y, \tag{J} \end{aligned} \] in order to characterize those linearly ordered pseudo-BCK algebras that arise as ordinal sums of linearly ordered cone algebras. As applications, the authors study the \(\{\rightarrow, \rightsquigarrow, 1\}\)-subreducts of representable pseudo-hoops and pseudo-BL algebras, and they study the Bosbach states and the Riečan states on bounded linearly ordered pseudo-BCK algebras. Reviewer's remarks: Pseudo-BCK algebras are more naturally connected to pseudo-Wajsberg algebras rather than to pseudo-MV algebras. Identity (H) appears in the definition of \textit{L-algebras} given in [\textit{W. Rump}, ``\(L\)-algebras, self-similarity, and \(l\)-groups'', J. Algebra 320, No. 6, 2328--2348 (2008; Zbl 1158.06009)].
scientific article; zbMATH DE number 5646252