The author proves the following for a BCK-algebra with constant 1: If \(s\neq 1\), \(t\neq 1\) and \(s=t\), then the rightmost variables of \(s\) and \(t\) are identical. This is done by proving the result is the equivalent BCK- logic where it reads: If \(\not\vdash s\), \(\not\vdash t\), \(\vdash t\to s\) and \(\vdash s\to t\), then the rightmost variables of \(s\) and \(t\) are identical. As a corollary, Wroński's result that BCK-algebras do not form a variety, follows.
Recommendations
Cites work
Cited in
(5)
This page was built for publication: On a property of BCK-identities
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1327482)
