Life in the undistributed middle (1993)

by Nuel D Belnap
Venue:Substructural Logics, 31{41