Labeled deduction in the composition of form and meaning (1996)

by M Moortgat
Venue:In H.J. Ohlbach & U. Reyle (eds.) Logic, Language and Reasoning. Essays in Honor of Dov Gabbay, Part I