Prefer a chat interface with context about you and your work?
A representation of bounded commutative<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="$\rm BCK$" id="E1"><mml:mtext>BCK</mml:mtext></mml:math>-algebras
In this note, we prove a representation theorem for bounded commutative BCK‐algebras.