BCKX is the axiomatization of implicational fragment of Lukasiewicz's infinite-valued logic Lω

Bulletin of the Section of Logic, Tom 26, Numer 3 (1997) s. 112-117
Alexander S. Karpenko, Vladimir M. Popov