Pages that link to "Item:Q1850949"
From MaRDI portal
The following pages link to Classical conservative extensions of Lambek calculus (Q1850949):
Displaying 11 items.
- A geometrical representation of the basic laws of categorial grammar (Q2363501) (← links)
- Cyclic Multiplicative-Additive Proof Nets of Linear Logic with an Application to Language Parsing (Q2835043) (← links)
- Strong negation in intuitionistic style sequent systems for residuated lattices (Q2922496) (← links)
- Cyclic Multiplicative Proof Nets of Linear Logic with an Application to Language Parsing (Q2947459) (← links)
- On Classical Nonassociative Lambek Calculus (Q2963995) (← links)
- Categorial Grammars and Their Logics (Q4611658) (← links)
- Extensions of Lambek Calculi (Q5014595) (← links)
- Proof nets for multiplicative cyclic linear logic and Lambek calculus (Q5377696) (← links)
- On Residuation (Q5414955) (← links)
- Italian Clitic Patterns in Pregroup Grammar: State of the Art (Q5414963) (← links)
- Word Order Alternation in Sanskrit via Precyclicity in Pregroup Grammars (Q5418966) (← links)