Axiomatic systems, deduction and implication (1992)

by A Avron
Venue:Journal of Logic and Computation