Simple consequence relations (1991)

by A Avron
Venue:Journal of Information and Computation