Non-commutative logic I: the multiplicative fragment (1999)

by Michele Abrusci, Paul Ruet
Venue:Annals of Pure and Applied Logic