Axiomatic Systems, Deduction and Implication (1992)

by A Avron
Venue:Journal of Logic and Computation