Pages that link to "Item:Q3247120"
From MaRDI portal
The following pages link to The Mathematics of Sentence Structure (Q3247120):
Displaying 47 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)
- (Q5079743) (← links)
- (Q5111318) (← links)
- (Q5111322) (← links)
- (Q5111331) (← links)
- Cyclic Extensions of Order Varieties (Q5415613) (← links)
- UNDECIDABILITY OF CONSEQUENCE RELATION IN FULL NON-ASSOCIATIVE LAMBEK CALCULUS (Q5501771) (← links)
- (Q5875343) (← links)
- Combinatory categorial grammars as generators of weighted forests (Q6053406) (← links)
- A Survey of the Proof-Theoretic Foundations of Logic Programming (Q6063891) (← links)
- Embedding \(\mathsf{HTLCG}\) into \(\mathsf{LCG}_\phi \) (Q6097777) (← 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)
- Modal information logics: axiomatizations and decidability (Q6145035) (← links)
- Versions of a local contraction subexponential in the Lambek calculus (Q6160496) (← links)
- Complexity of the universal theory of residuated ordered groupoids (Q6169326) (← 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)
- Fibrational Linguistics (FibLang): Language Acquisition (Q6190598) (← links)
- Explorations in Subexponential Non-associative Non-commutative Linear Logic (Q6196498) (← links)
- DisCoCat for Donkey Sentences (Q6196501) (← links)
- Multimodality in the Hypergraph Lambek Calculus (Q6196502) (← links)
- Semantic Analysis of Subexponential Modalities in Distributive Non-commutative Linear Logic (Q6196503) (← links)
