Pages that link to "Item:Q5198508"
From MaRDI portal
The following pages link to An application of proof-nets to the study of fragments of the Lambek calculus (Q5198508):
Displaying 10 items.
- The atomic theory of left division of two-sided ideals of semirings with unit (Q376154) (← links)
- Proof nets and the complexity of processing center embedded constructions (Q1280048) (← links)
- Proof nets for the multimodal Lambek calculus (Q1850954) (← links)
- Lambek calculus is NP-complete (Q2500488) (← links)
- Proof nets for the Lambek calculus with one division and a negative-polarity modality for weakening (Q2673113) (← links)
- Complexity of the Lambek calculus with one division and a negative-polarity modality for weakening (Q2689023) (← links)
- Complexity of the Lambek calculus and its fragments (Q2904061) (← links)
- Proof Nets for Lambek Calculus (Q4013256) (← links)
- Craig’s trick and a non-sequential system for the Lambek calculus and its fragments (Q5382579) (← links)
- (Q5416219) (← links)