19 citations · 19 across the 1 of their papers we have counts for
1 paper · 1 filter
Richard Moot
This paper explores several extensions of proof nets for the Lambek calculus in order to handle the different connectives of display logic in a natural way. The new proof net calcu…