A Gentzen system equivalent to the BCK-logic

Bulletin of the Section of Logic, Tom 25, Numer 2 (1996) s. 73-80
Roma J. Adillon, Ventura Verdu

 

do góry