Semantics of weakeningand contraction (1994)

by B Jacobs
Venue:Ann. Pure Appl. Logic