ByNobleID
    An Axiom System For a BCK-Algebra with the Condition (S) | NobleID