The Mathematics of Sentence Structure
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Pregroups and natural language processing
- Game semantics for the Lambek-calculus: Capturing directionality and the absence of structural rules
- Types as graphs: Continuations in type logical grammar
- Toward discourse representation via pregroup grammars
- From word to sentence: a pregroup analysis of the object pronoun \textit{who(m)}
- Optionality, scope, and licensing: An application of partially ordered categories
- On the complexity of nonassociative Lambek calculus with unit
- Gaifman's theorem on categorial grammars revisited
- Sequent-systems and groupoid models. I
- Language in action
- Decision problems for propositional linear logic
- Natural language syntax and first-order inference
- Modal translations in substructural logics
- A direct proof of the equivalence of free categorial grammars and simple phrase structure grammars
- Undecidability of some logical extensions of Ajdukiewicz-Lambek calculus
- Let's plan it deductively!
- Schur complements obey Lambek's categorial grammar: Another view of Gaussian elimination and LU decomposition
- Modal logic as metalogic
- Lambek calculus and its relational semantics: Completeness and incompleteness
- On S
- Informational interpretation of substructural propositional logics
- The conjoinability relation in Lambek calculus and linear logic
- Proving theorems of the second order Lambek calculus in polynomial time
- On the completeness of the Lambek calculus with respect to relativized relational semantics
- Towards a semantics of proofs for non-commutative logic: Multiplicatives and additives
- A graph-theoretic characterization theorem for multiplicative fragment of non-commutative linear logic
- Non-commutative logic. III: Focusing proofs.
- On the recognizing power of the Lambek calculus with brackets
- Linguistic\(\leftrightarrow \)rational agents' semantics
- Semantic bootstrapping of type-logical grammar
- Functional completeness for subsystems of intuitionistic propositional logic
- A simple and general method of solving the finite axiomatizability problems for Lambek's syntactic calculi
- Using tableaux to automate the Lambek and other categorial calculi
- A note on the strong and weak generative powers of formal systems
- MELL in the calculus of structures
- Models for the Lambek calculus
- Some lattice models of bilinear logic
- Tree models and (labeled) categorial grammar
- Extending Lambek grammars to basic categorial grammars
- Multimodal linguistic inference
- Fibred semantics for feature-based grammar logic
- Logical approximation for program analysis
- Symmetric generalized Galois logics
- An algebraic correctness criterion for intuitionistic multiplicative proof-nets
- The atomic theory of division and intersection of semiring ideals
- Proof complexity of substructural logics
- The multiplicative-additive Lambek calculus with subexponential and bracket modalities
- Lambek calculus with conjugates
- The tree-generative capacity of combinatory categorial grammars
- Infinity and the foundations of linguistics
- Infinitary action logic with exponentiation
- Hypergraph Lambek grammars
- Soft subexponentials and multiplexing
- Non-associative, non-commutative multi-modal linear logic
- Quantum computations for disambiguation and question answering
- Powerful and NP-complete: hypergraph Lambek grammars
- Extending the Lambek calculus with classical negation
- Gaussianity and typicality in matrix distributional semantics
- Bifibrations of polycategories and classical linear logic
- Eilenberg-Kelly reloaded
- The sequent calculus of skew monoidal categories
- Logical foundations for hybrid type-logical grammars
- Lorenzen won the game, Lorenz did too: dialogical logic for ellipsis and anaphora resolution
- Reducts of relation algebras: the aspects of axiomatisability and finite representability
- On the universality of atomic and molecular logics via protologics
- A restricted fragment of the Lambek calculus with iteration and intersection operations
- Natural deduction bottom up
- Semantic vector models and functional models for pregroup grammars
- Dynamic non-commutative logic
- Linear axiomatics of commutative product-free Lambek calculus
- Linguistic matrix theory
- Contrary-to-duty reasoning: a categorical approach
- Categorial dependency grammars
- Lower semilattice-ordered residuated semigroups and substructural logics
- A geometrical representation of the basic laws of categorial grammar
- \(k\)-valued non-associative Lambek grammars are learnable from generalized functor-argument structures
- Language-theoretic and finite relation models for the (full) Lambek calculus
- On involutive nonassociative Lambek calculus
- Parsing/theorem-proving for logical grammar \textit{CatLog3}
- \(\mathrm{NL}_\lambda\) as the logic of scope and movement
- The displacement calculus
- On the semantics of parsing actions
- On contextual domain restriction in categorial grammar
- Epistemic closure and commutative, nonassociative residuated structures
- The atomic theory of multiplication and division of semiring ideals
- Sufficient conditions for cut elimination with complexity analysis
- S4 enriched multimodal categorial grammars are context-free
- Type logics and pregroups
- Parsing pregroup grammars and Lambek calculus using partial composition
- A mixed -calculus
- On the logic of -pregroups
- Should pregroup grammars be adorned with additional operations?
- Lambek calculus is NP-complete
- Efficiency of pregroups and the French noun phrase
- Non-commutative proof construction: a constraint-based approach
- Recognition of derivability for the Lambek calculus with one division
- Lambek calculus with one division and one primitive type permitting empty antecedents
- The length of joins in Lambek calculus
- The finite model property for BCI and related systems
- Categorial grammars determined from linguistic data by unification
This page was built for publication: The Mathematics of Sentence Structure
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3247120)
