Pages that link to "Item:Q3247120"
From MaRDI portal
The following pages link to The Mathematics of Sentence Structure (Q3247120):
Displaying 50 items.
- On S (Q1317902) (← links)
- Informational interpretation of substructural propositional logics (Q1322438) (← links)
- The conjoinability relation in Lambek calculus and linear logic (Q1334986) (← links)
- Proving theorems of the second order Lambek calculus in polynomial time (Q1337601) (← links)
- On the completeness of the Lambek calculus with respect to relativized relational semantics (Q1337611) (← links)
- Towards a semantics of proofs for non-commutative logic: Multiplicatives and additives (Q1398470) (← links)
- A graph-theoretic characterization theorem for multiplicative fragment of non-commutative linear logic (Q1398479) (← links)
- Non-commutative logic. III: Focusing proofs. (Q1427855) (← links)
- On the recognizing power of the Lambek calculus with brackets (Q1630945) (← links)
- Linguistic\(\leftrightarrow \)rational agents' semantics (Q1688923) (← links)
- Semantic bootstrapping of type-logical grammar (Q1778102) (← links)
- Functional completeness for subsystems of intuitionistic propositional logic (Q1802397) (← links)
- A simple and general method of solving the finite axiomatizability problems for Lambek's syntactic calculi (Q1825185) (← links)
- Using tableaux to automate the Lambek and other categorial calculi (Q1854380) (← links)
- A note on the strong and weak generative powers of formal systems (Q1870566) (← links)
- MELL in the calculus of structures (Q1884903) (← links)
- Models for the Lambek calculus (Q1899151) (← links)
- Some lattice models of bilinear logic (Q1906000) (← links)
- Tree models and (labeled) categorial grammar (Q1923835) (← links)
- Extending Lambek grammars to basic categorial grammars (Q1923836) (← links)
- Multimodal linguistic inference (Q1923840) (← links)
- Fibred semantics for feature-based grammar logic (Q1923842) (← links)
- Logical approximation for program analysis (Q1929363) (← links)
- Symmetric generalized Galois logics (Q1931307) (← links)
- An algebraic correctness criterion for intuitionistic multiplicative proof-nets (Q1960420) (← links)
- The atomic theory of division and intersection of semiring ideals (Q1991564) (← links)
- Proof complexity of substructural logics (Q2032997) (← links)
- The multiplicative-additive Lambek calculus with subexponential and bracket modalities (Q2035845) (← links)
- Lambek calculus with conjugates (Q2046872) (← links)
- The tree-generative capacity of combinatory categorial grammars (Q2051866) (← links)
- Infinity and the foundations of linguistics (Q2052645) (← links)
- Infinitary action logic with exponentiation (Q2067638) (← links)
- Hypergraph Lambek grammars (Q2079680) (← links)
- Soft subexponentials and multiplexing (Q2096472) (← links)
- Non-associative, non-commutative multi-modal linear logic (Q2104536) (← links)
- Quantum computations for disambiguation and question answering (Q2107064) (← links)
- Powerful and NP-complete: hypergraph Lambek grammars (Q2117261) (← links)
- Extending the Lambek calculus with classical negation (Q2118967) (← links)
- Gaussianity and typicality in matrix distributional semantics (Q2124251) (← links)
- Bifibrations of polycategories and classical linear logic (Q2133466) (← links)
- Eilenberg-Kelly reloaded (Q2133479) (← links)
- The sequent calculus of skew monoidal categories (Q2134838) (← links)
- Logical foundations for hybrid type-logical grammars (Q2135950) (← links)
- Lorenzen won the game, Lorenz did too: dialogical logic for ellipsis and anaphora resolution (Q2148798) (← links)
- Reducts of relation algebras: the aspects of axiomatisability and finite representability (Q2151415) (← links)
- On the universality of atomic and molecular logics via protologics (Q2169136) (← links)
- A restricted fragment of the Lambek calculus with iteration and intersection operations (Q2213927) (← links)
- Natural deduction bottom up (Q2236507) (← links)
- Semantic vector models and functional models for pregroup grammars (Q2255181) (← links)
- Dynamic non-commutative logic (Q2268354) (← links)
