Multimodal linguistic inference
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 4134014 (Why is no real title available?)
- scientific article; zbMATH DE number 4137754 (Why is no real title available?)
- scientific article; zbMATH DE number 49746 (Why is no real title available?)
- scientific article; zbMATH DE number 549966 (Why is no real title available?)
- scientific article; zbMATH DE number 842687 (Why is no real title available?)
- scientific article; zbMATH DE number 3222127 (Why is no real title available?)
- scientific article; zbMATH DE number 970628 (Why is no real title available?)
- A BRIEF SURVEY OF FRAMES FOR THE LAMBEK CALCULUS
- Decision problems for propositional linear logic
- Display logic
- Gaifman's theorem on categorial grammars revisited
- Language in action. Categories, lambdas and dynamic logic
- Logic Programming with Focusing Proofs in Linear Logic
- Logic programming in a fragment of intuitionistic linear logic
- Modalities in linear logic weaker than the exponential ``of course: Algebraic and relational semantics
- On the unity of logic
- Sequent-systems and groupoid models. I
- Talking about Explicit Databases in Categorial Grammar
- The Mathematics of Sentence Structure
Cited in
(31)- Symmetric categorial grammar
- Non-normal modal logics and conditional logics: semantic analysis and proof theory
- Subexponentials in non-commutative linear logic
- Bracket induction for Lambek calculus with bracket modalities
- On the recognizing power of the Lambek calculus with brackets
- The emptiness of intersection problem for languages of \(k\)-valued categorial grammars (classical and Lambek) is undecidable
- S4 enriched multimodal categorial grammars are context-free
- Categorial grammars and their logics
- Logical foundations for hybrid type-logical grammars
- scientific article; zbMATH DE number 125980 (Why is no real title available?)
- Powerful and NP-complete: hypergraph Lambek grammars
- A categorial type logic
- The multiplicative-additive Lambek calculus with subexponential and bracket modalities
- Unnatural language processing. An empirical study of multimodal proof styles
- Extensions of Lambek calculi
- Explorations in Subexponential Non-associative Non-commutative Linear Logic
- Multimodality in the Hypergraph Lambek Calculus
- Putting a spin on language: a quantum interpretation of unary connectives for linguistic applications
- Extended Lambek calculi and first-order linear logic
- Galois connections in categorial type logic
- Some syntactic interpretations in different systems of full Lambek calculus
- Hypergraph Lambek grammars
- A proof-theoretic approach to negative translations in intuitionistic tense logics
- On the definition of suitable orderings to generate adjunctions over an unstructured codomain
- On translating Lambek grammars with one division into context-free grammars
- Non-associative, non-commutative multi-modal linear logic
- S4 enriched multimodal categorial grammars are context-free: Corrigendum
- Schur complements obey Lambek's categorial grammar: Another view of Gaussian elimination and LU decomposition
- Lambek vs. Lambek: functorial vector space semantics and string diagrams for Lambek calculus
- On involutive nonassociative Lambek calculus
- scientific article; zbMATH DE number 7204441 (Why is no real title available?)
This page was built for publication: Multimodal linguistic inference
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1923840)
