The following pages link to Proof nets for the Lambek calculus with one division and a negative-polarity modality for weakening (Q2673113):
Displaying 1 item.