Exchange connectives for non-commutative intuitionistic propositional calculus (1994)

by V Michele Abrusci
Venue:Linear logic and Lambek calculus