Multimodal linguistic inference

DOI10.1007/BF00159344MaRDI QIDQ1923840zbMATH OpenFDO

Authors Michael Moortgat

Publication date 19 August 1999

Published in Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF00159344

zbMATH Keywords

categorial grammarcorrespondencecut eliminationLambek calculusmodal logicproof searchtype logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic of natural languages (03B65)

Review text

The paper studies simple and mixed Lambek systems. Simple Lambek systems are formulated in the language of Lambek Calculus, i.e. with the binary connectives \(\bullet, /, \backslash\). These systems are called monomodal because they can be interpreted in Kripke-type models with a single ternary accessibilty relation (``Došen's semantics). Mixed (or multimodal) systems may have several connectives of Lambek type: \(\bullet_i, /_i, \backslash_i\). Systems having Lambek connectives and a standard (unary) modal operator are also considered in the paper. The topics discussed are correspondence (both for axioms and structural rules), proof search and cut elimination, and linguistic motivations.

Recommendations

• scientific article; zbMATH DE number 1251242
• Proof nets for the multimodal Lambek calculus
• Extensions of Lambek calculi
• The Lambek calculus enriched with additional connectives
• Complexity of the Lambek calculus and its fragments

Cites work

• A BRIEF SURVEY OF FRAMES FOR THE LAMBEK CALCULUS
• Decision problems for propositional linear logic
• Display logic
• Gaifman's theorem on categorial grammars revisited
• 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?)
• Language in action. Categories, lambdas and dynamic logic
• Logic programming in a fragment of intuitionistic linear logic
• Logic Programming with Focusing Proofs in 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

(37)

• Unnatural language processing. An empirical study of multimodal proof styles
• Schur complements obey Lambek's categorial grammar: Another view of Gaussian elimination and LU decomposition
• On the recognizing power of the Lambek calculus with brackets
• The multiplicative-additive Lambek calculus with subexponential and bracket modalities
• Hypergraph Lambek grammars
• A proof-theoretic approach to negative translations in intuitionistic tense logics
• Non-associative, non-commutative multi-modal linear logic
• Powerful and NP-complete: hypergraph Lambek grammars
• Logical foundations for hybrid type-logical grammars
• On involutive nonassociative Lambek calculus
• S4 enriched multimodal categorial grammars are context-free
• Non-normal modal logics and conditional logics: semantic analysis and proof theory
• Lambek vs. Lambek: functorial vector space semantics and string diagrams for Lambek calculus
• scientific article; zbMATH DE number 125980 (Why is no real title available?)
• scientific article; zbMATH DE number 1251242 (Why is no real title available?)
• Categorial grammars and their logics
• Galois connections in categorial type logic
• The emptiness of intersection problem for languages of \(k\)-valued categorial grammars (classical and Lambek) is undecidable
• Extensions of Lambek calculi
• On the definition of suitable orderings to generate adjunctions over an unstructured codomain
• scientific article; zbMATH DE number 7204441 (Why is no real title available?)
• On translating Lambek grammars with one division into context-free grammars
• Some syntactic interpretations in different systems of full Lambek calculus
• Subexponentials in non-commutative linear logic
• Extended Lambek calculi and first-order linear logic
• A categorial type logic
• Bracket induction for Lambek calculus with bracket modalities
• 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
• Truth-maker semantics for some substructural logics
• Semi-substructural logics à la Lambek
• Lambek calculus with banged atoms for parasitic gaps
• Semi-substructural logics à la Lambek with symmetry
• From weakly topological quasi-Boolean algebra to weak pre-rough algebra and closely related structures: an algebraic and logical investigation
• Symmetric categorial grammar
• S4 enriched multimodal categorial grammars are context-free: Corrigendum

Describes a project that uses

Uses Software

• Lolli

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)