Multimodal linguistic inference

DOI10.1007/BF00159344zbMath0919.03023MaRDI QIDQ1923840

Michael Moortgat

Publication date: 19 August 1999

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

zbMATH Keywords

modal logiccut eliminationLambek calculuscorrespondenceproof searchcategorial grammartype logic

Mathematics Subject Classification ID

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

Related Items (27)

On the recognizing power of the Lambek calculus with brackets ⋮ Symmetric categorial grammar ⋮ Lambek vs. Lambek: functorial vector space semantics and string diagrams for Lambek calculus ⋮ Non-normal modal logics and conditional logics: semantic analysis and proof theory ⋮ On involutive nonassociative Lambek calculus ⋮ Bracket induction for Lambek calculus with bracket modalities ⋮ Explorations in Subexponential Non-associative Non-commutative Linear Logic ⋮ Multimodality in the Hypergraph Lambek Calculus ⋮ Categorial Grammars and Their Logics ⋮ S4 enriched multimodal categorial grammars are context-free: Corrigendum ⋮ S4 enriched multimodal categorial grammars are context-free ⋮ On the definition of suitable orderings to generate adjunctions over an unstructured codomain ⋮ On translating Lambek grammars with one division into context-free grammars ⋮ Extended Lambek Calculi and First-Order Linear Logic ⋮ A Categorial Type Logic ⋮ Galois Connections in Categorial Type Logic ⋮ The emptiness of intersection problem for languages of k-valued categorial grammars (classical and Lambek) is undecidable ⋮ The multiplicative-additive Lambek calculus with subexponential and bracket modalities ⋮ Unnamed Item ⋮ Some Syntactic Interpretations in Different Systems of Full Lambek Calculus ⋮ Subexponentials in non-commutative linear logic ⋮ Hypergraph Lambek grammars ⋮ A proof-theoretic approach to negative translations in intuitionistic tense logics ⋮ Schur complements obey Lambek's categorial grammar: Another view of Gaussian elimination and LU decomposition ⋮ Extensions of Lambek Calculi ⋮ Non-associative, non-commutative multi-modal linear logic ⋮ Powerful and NP-complete: hypergraph Lambek grammars

Uses Software

• Lolli

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the unity of logic
• Gaifman's theorem on categorial grammars revisited
• Sequent-systems and groupoid models. I
• Language in action. Categories, lambdas and dynamic logic
• Decision problems for propositional 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
• Display logic
• The Mathematics of Sentence Structure
• Logic Programming with Focusing Proofs in Linear Logic
• A BRIEF SURVEY OF FRAMES FOR THE LAMBEK CALCULUS
• Talking about Explicit Databases in Categorial Grammar

This page was built for publication: Multimodal linguistic inference