Information Flow and the Lambek Calculus (1996)

by J BARWISE, D GABBAY, C HARTONAS
Venue:Logic, Language and Computation, Proc. 98 Despite the overwhelming literature on introduction and elimination rules determining the meanings of logical connectives [50, 74, 127]. Greg Restall, Greg.Restall@mq.edu.au June 23, 2001 95 Information-Oriented A