Pages that link to "Item:Q433866"
From MaRDI portal
The following pages link to The logic of categorial grammars. A deductive account of natural language syntax and semantics (Q433866):
Displaying 38 items.
- Natural language semantics in biproduct dagger categories (Q280847) (← links)
- Equivalences among polarity algorithms (Q1744006) (← links)
- The multiplicative-additive Lambek calculus with subexponential and bracket modalities (Q2035845) (← links)
- Infinitary action logic with exponentiation (Q2067638) (← links)
- Soft subexponentials and multiplexing (Q2096472) (← links)
- Non-associative, non-commutative multi-modal linear logic (Q2104536) (← links)
- Lorenzen won the game, Lorenz did too: dialogical logic for ellipsis and anaphora resolution (Q2148798) (← links)
- A restricted fragment of the Lambek calculus with iteration and intersection operations (Q2213927) (← links)
- Deverbal semantics and the Montagovian generative lexicon \(\Lambda \mathsf {Ty}_n\) (Q2255237) (← links)
- On involutive nonassociative Lambek calculus (Q2425321) (← links)
- Parsing/theorem-proving for logical grammar \textit{CatLog3} (Q2425322) (← links)
- Natural language semantics and computability (Q2425328) (← links)
- Language models for some extensions of the Lambek calculus (Q2672665) (← links)
- Editorial introduction: substructural logics and metainferences (Q2679572) (← links)
- Relational models for the Lambek calculus with intersection and unit (Q2695358) (← links)
- Cyclic Multiplicative-Additive Proof Nets of Linear Logic with an Application to Language Parsing (Q2835043) (← links)
- Cyclic Multiplicative Proof Nets of Linear Logic with an Application to Language Parsing (Q2947459) (← links)
- Categorial Grammars and Their Logics (Q4611658) (← links)
- (Q4625697) (← links)
- Extensions of Lambek Calculi (Q5014595) (← links)
- COMPLEXITY OF THE INFINITARY LAMBEK CALCULUS WITH KLEENE STAR (Q5027669) (← links)
- (Q5111318) (← links)
- (Q5111331) (← links)
- Some Syntactic Interpretations in Different Systems of Full Lambek Calculus (Q5213652) (← links)
- Subexponentials in non-commutative linear logic (Q5236554) (← links)
- On Lambek’s Restriction in the Presence of Exponential Modalities (Q5283424) (← links)
- Proof nets for multiplicative cyclic linear logic and Lambek calculus (Q5377696) (← links)
- Learning Lambek Grammars from Proof Frames (Q5414961) (← links)
- On Associative Lambek Calculus Extended with Basic Proper Axioms (Q5414964) (← links)
- Extended Lambek Calculi and First-Order Linear Logic (Q5414971) (← links)
- A Categorial Type Logic (Q5414972) (← links)
- Making first order linear logic a generating grammar (Q6137829) (← links)
- A System of Interaction and Structure III: The Complexity of BV and Pomset Logic (Q6137849) (← links)
- A SUBSTRUCTURAL GENTZEN CALCULUS FOR ORTHOMODULAR QUANTUM LOGIC (Q6148471) (← links)
- Relational Models for the Lambek Calculus with Intersection and Constants (Q6178715) (← links)
- COLLECTION FRAMES FOR DISTRIBUTIVE SUBSTRUCTURAL LOGICS (Q6188338) (← links)
- Commutative Lambek grammars (Q6190089) (← links)
- Multimodality in the Hypergraph Lambek Calculus (Q6196502) (← links)
