The following pages link to Proof Nets for Lambek Calculus (Q4013256):
Displaying 19 items.
- Lambek vs. Lambek: functorial vector space semantics and string diagrams for Lambek calculus (Q388206) (← links)
- Proving theorems of the second order Lambek calculus in polynomial time (Q1337601) (← links)
- A graph-theoretic characterization theorem for multiplicative fragment of non-commutative linear logic (Q1398479) (← links)
- General parameterised refinement and recursion for the M-net calculus (Q1399968) (← links)
- Proof nets for the multimodal Lambek calculus (Q1850954) (← links)
- Cyclic Multiplicative Proof Nets of Linear Logic with an Application to Language Parsing (Q2947459) (← links)
- Lambek Calculus in Natural Deduction (Q3520236) (← links)
- Interpolation in fragments of classical linear logic (Q4302342) (← links)
- A new correctness criterion for the proof nets of non-commutative multiplicative linear logics (Q4328819) (← links)
- (Q4411821) (← links)
- Proof Nets for Classical Logic (Q4444939) (← links)
- (Q4842978) (← links)
- (Q4992391) (← links)
- (Q4993336) (← links)
- Pomset Logic (Q5014600) (← links)
- Proof nets for multiplicative cyclic linear logic and Lambek calculus (Q5377696) (← links)
- A proof of the focusing theorem via MALL proof nets (Q6102990) (← links)
- Bracket induction for Lambek calculus with bracket modalities (Q6155205) (← links)
- Normalization by evaluation for the lambek calculus (Q6659901) (← links)