Pages that link to "Item:Q3247120"
From MaRDI portal
The following pages link to The Mathematics of Sentence Structure (Q3247120):
Displaying 50 items.
- Pair algebras and Galois connections. (Q293350) (← links)
- The Lambek calculus extended with intuitionistic propositional logic (Q332086) (← links)
- The atomic theory of left division of two-sided ideals of semirings with unit (Q376154) (← links)
- Lambek vs. Lambek: functorial vector space semantics and string diagrams for Lambek calculus (Q388206) (← links)
- Product-free Lambek calculus is NP-complete (Q408532) (← links)
- States on commutative basic algebras (Q427918) (← links)
- Categorial grammars with iterated types form a strict hierarchy of \(k\)-valued languages (Q442141) (← links)
- Relational semantics of the Lambek calculus extended with classical propositional logic (Q456962) (← links)
- The categorical imperative: category theory as a foundation for deontic logic (Q472796) (← links)
- On translating Lambek grammars with one division into context-free grammars (Q511445) (← links)
- Agnostic hyperintensional semantics (Q514078) (← links)
- The equational theories of representable residuated semigroups (Q514561) (← links)
- Ternary relations and relevant semantics (Q598309) (← links)
- Categorical approaches to non-commutative fuzzy logic (Q622031) (← links)
- A polynomial algorithm for the membership problem with categorial grammars (Q671431) (← links)
- Nonsymmetric \(^{\ast}\)-autonomous categories (Q673964) (← links)
- Logic and grammar (Q692192) (← links)
- A framework for proof systems (Q707742) (← links)
- On families of categorial grammars of bounded value, their learnability and related complexity questions (Q714784) (← links)
- Coherence in Cartesian closed categories and the generality of proofs (Q750442) (← links)
- A computational algebraic approach to Latin grammar (Q812147) (← links)
- On finite models of the Lambek calculus (Q813074) (← links)
- Regular algebra applied to language problems (Q817577) (← links)
- The Pentus theorem for Lambek calculus with simple nonlogical axioms (Q817678) (← links)
- Symmetric categorial grammar (Q843772) (← links)
- Meaning and interpretation. I (Q878159) (← links)
- On translating context-free grammars into Lambek grammars (Q902051) (← links)
- Infinitary action logic: complexity, models and grammars (Q935019) (← links)
- The atomic theory of division of semiring ideals (Q950843) (← links)
- Continuation semantics for the Lambek-Grishin calculus (Q964491) (← links)
- Unidirectional Lambek grammars in polynomial time (Q987373) (← links)
- Pregroups and natural language processing (Q1002122) (← links)
- Game semantics for the Lambek-calculus: Capturing directionality and the absence of structural rules (Q1005955) (← links)
- Types as graphs: Continuations in type logical grammar (Q1006443) (← links)
- Toward discourse representation via pregroup grammars (Q1006460) (← links)
- From word to sentence: a pregroup analysis of the object pronoun \textit{who(m)} (Q1006463) (← links)
- Optionality, scope, and licensing: An application of partially ordered categories (Q1024814) (← links)
- On the complexity of nonassociative Lambek calculus with unit (Q1035836) (← links)
- Gaifman's theorem on categorial grammars revisited (Q1115429) (← links)
- Sequent-systems and groupoid models. I (Q1119625) (← links)
- Language in action (Q1177646) (← links)
- Decision problems for propositional linear logic (Q1192352) (← links)
- Natural language syntax and first-order inference (Q1193491) (← links)
- Modal translations in substructural logics (Q1198409) (← links)
- A direct proof of the equivalence of free categorial grammars and simple phrase structure grammars (Q1249167) (← links)
- Undecidability of some logical extensions of Ajdukiewicz-Lambek calculus (Q1252223) (← links)
- Let's plan it deductively! (Q1274761) (← links)
- Schur complements obey Lambek's categorial grammar: Another view of Gaussian elimination and LU decomposition (Q1307278) (← links)
- Modal logic as metalogic (Q1314285) (← links)
- Lambek calculus and its relational semantics: Completeness and incompleteness (Q1314508) (← links)
