A demonstrably consistent type-free extension of the logic BCK (1987)

by Richard B White
Venue:Mathematica Japonica