Simple consequence relations (1991)

by A AVRON
Venue:Information and Computation