Pages that link to "Item:Q3247120"
From MaRDI portal
The following pages link to The Mathematics of Sentence Structure (Q3247120):
Displaying 50 items.
- Linear axiomatics of commutative product-free Lambek calculus (Q2277257) (← links)
- Linguistic matrix theory (Q2327722) (← links)
- Contrary-to-duty reasoning: a categorical approach (Q2342801) (← links)
- Categorial dependency grammars (Q2344756) (← links)
- Lower semilattice-ordered residuated semigroups and substructural logics (Q2350965) (← links)
- A geometrical representation of the basic laws of categorial grammar (Q2363501) (← links)
- \(k\)-valued non-associative Lambek grammars are learnable from generalized functor-argument structures (Q2369010) (← links)
- Language-theoretic and finite relation models for the (full) Lambek calculus (Q2398205) (← links)
- On involutive nonassociative Lambek calculus (Q2425321) (← links)
- Parsing/theorem-proving for logical grammar \textit{CatLog3} (Q2425322) (← links)
- \(\mathrm{NL}_\lambda\) as the logic of scope and movement (Q2425323) (← links)
- The displacement calculus (Q2429994) (← links)
- On the semantics of parsing actions (Q2441511) (← links)
- On contextual domain restriction in categorial grammar (Q2441762) (← links)
- Epistemic closure and commutative, nonassociative residuated structures (Q2442889) (← links)
- The atomic theory of multiplication and division of semiring ideals (Q2452706) (← links)
- Sufficient conditions for cut elimination with complexity analysis (Q2461191) (← links)
- S4 enriched multimodal categorial grammars are context-free (Q2464941) (← links)
- Type logics and pregroups (Q2467212) (← links)
- Parsing pregroup grammars and Lambek calculus using partial composition (Q2467213) (← links)
- A mixed \(\lambda\)-calculus (Q2467219) (← links)
- On the logic of \(\beta\)-pregroups (Q2467221) (← links)
- Should pregroup grammars be adorned with additional operations? (Q2467222) (← links)
- Lambek calculus is NP-complete (Q2500488) (← links)
- Efficiency of pregroups and the French noun phrase (Q2500780) (← links)
- Non-commutative proof construction: a constraint-based approach (Q2503402) (← links)
- Recognition of derivability for the Lambek calculus with one division (Q2513061) (← links)
- Lambek calculus with one division and one primitive type permitting empty antecedents (Q2513062) (← links)
- The length of joins in Lambek calculus (Q2513206) (← links)
- The finite model property for BCI and related systems (Q2563452) (← links)
- Categorial grammars determined from linguistic data by unification (Q2639050) (← links)
- Meaning and interpretation. II (Q2642523) (← links)
- Residuation in existential graphs (Q2671610) (← links)
- Language models for some extensions of the Lambek calculus (Q2672665) (← links)
- Proof nets for the Lambek calculus with one division and a negative-polarity modality for weakening (Q2673113) (← links)
- Unique typed basic categorial grammars (Q2674668) (← links)
- Embedding of the atomic theory of subsets of free semigroups to the atomic theory of subsets of free monoids (Q2674673) (← links)
- Editorial introduction: substructural logics and metainferences (Q2679572) (← links)
- Complexity of the Lambek calculus with one division and a negative-polarity modality for weakening (Q2689023) (← links)
- Relational models for the Lambek calculus with intersection and unit (Q2695358) (← links)
- Infinitary action logic with multiplexing (Q2698280) (← links)
- Quine's Philosophy of Language and Polish Logic (Q2757977) (← links)
- Bell States and Negative Sentences in the Distributed Model of Meaning (Q2825369) (← links)
- Cyclic Multiplicative-Additive Proof Nets of Linear Logic with an Application to Language Parsing (Q2835043) (← links)
- Models for the Displacement Calculus (Q2835050) (← links)
- On Some Extensions of Syntactic Concept Lattices: Completeness and Finiteness Results (Q2835051) (← links)
- Undecidability of the Lambek Calculus with a Relevant Modality (Q2835058) (← links)
- Strong negation in intuitionistic style sequent systems for residuated lattices (Q2922496) (← links)
- UNIFORM INTERPOLATION IN SUBSTRUCTURAL LOGICS (Q2940884) (← links)
- Cyclic Multiplicative Proof Nets of Linear Logic with an Application to Language Parsing (Q2947459) (← links)
