The following pages link to (Q5536273):
Displaying 42 items.
- Lambek vs. Lambek: functorial vector space semantics and string diagrams for Lambek calculus (Q388206) (← links)
- Categorial grammars with iterated types form a strict hierarchy of \(k\)-valued languages (Q442141) (← links)
- A polynomial algorithm for the membership problem with categorial grammars (Q671431) (← links)
- Logic and grammar (Q692192) (← links)
- Meaning and interpretation. I (Q878159) (← links)
- Algebraic structures in categorial grammar (Q1129119) (← links)
- Major parts of speech (Q1709039) (← links)
- What is context for? Syntax in a non-abstract world (Q1777371) (← links)
- Semantic bootstrapping of type-logical grammar (Q1778102) (← links)
- The multiplicative-additive Lambek calculus with subexponential and bracket modalities (Q2035845) (← links)
- The tree-generative capacity of combinatory categorial grammars (Q2051866) (← links)
- Infinitary action logic with exponentiation (Q2067638) (← links)
- Non-associative, non-commutative multi-modal linear logic (Q2104536) (← links)
- A restricted fragment of the Lambek calculus with iteration and intersection operations (Q2213927) (← links)
- Linguistic matrix theory (Q2327722) (← links)
- Categorial dependency grammars (Q2344756) (← links)
- \(k\)-valued non-associative Lambek grammars are learnable from generalized functor-argument structures (Q2369010) (← links)
- Parsing/theorem-proving for logical grammar \textit{CatLog3} (Q2425322) (← links)
- Meaning and interpretation. II (Q2642523) (← links)
- On Meta-Knowledge and Truth (Q3600575) (← links)
- Categorial Grammars and Their Logics (Q4611658) (← links)
- The emptiness of intersection problem for languages of k-valued categorial grammars (classical and Lambek) is undecidable (Q4923557) (← links)
- k-Valued Non-Associative Lambek Grammars are Learnable from Function-Argument Structures (Q4924528) (← links)
- Extensions of Lambek Calculi (Q5014595) (← links)
- The Mathematics of Text Structure (Q5014597) (← links)
- (Q5016372) (← links)
- COMPLEXITY OF THE INFINITARY LAMBEK CALCULUS WITH KLEENE STAR (Q5027669) (← links)
- (Q5061521) (← links)
- Hypergraph Basic Categorial Grammars (Q5100731) (← links)
- (Q5111318) (← links)
- What Is the Sense in Logic and Philosophy of Language (Q5126213) (← links)
- Categorial Grammars with Iterated Types form a Strict Hierarchy of k-Valued Languages (Q5200050) (← links)
- (Q5202638) (← links)
- Subexponentials in non-commutative linear logic (Q5236554) (← links)
- Machine Translation and Type Theory (Q5253933) (← links)
- A generalised quantifier theory of natural language in categorical compositional distributional semantics with bialgebras (Q5377698) (← links)
- Learning Lambek Grammars from Proof Frames (Q5414961) (← links)
- Generalized Categorial Dependency Grammars (Q5452181) (← links)
- (Q5875343) (← links)
- Combinatory categorial grammars as generators of weighted forests (Q6053406) (← links)
- One-Way Restarting Automata and Their Sensitivitys (Q6114874) (← links)
- Explorations in Subexponential Non-associative Non-commutative Linear Logic (Q6196498) (← links)