Multimodal linguistic inference
type: Item
instance of: scholarly article
title: Multimodal linguistic inference
zbMATH Open document ID: 0919.03023
DOI: 10.1007/BF00159344
author: Michael Moortgat
published in: Journal of Logic, Language and Information
publication date: 1999-08-19T00:00:00Z
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.
Mathematics Subject Classification ID: 03B65
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 934102
zbMATH Keywords: categorial grammar
zbMATH Keywords: Lambek calculus
zbMATH Keywords: type logic
zbMATH Keywords: modal logic
zbMATH Keywords: correspondence
zbMATH Keywords: proof search
zbMATH Keywords: cut elimination
reviewed by: Valentin Shehtman
describes a project that uses: Lolli
MaRDI profile type: Publication
cites work: Logic Programming with Focusing Proofs in Linear Logic
cites work: Q3470458
cites work: Language in action. Categories, lambdas and dynamic logic
cites work: Display logic
cites work: Modalities in linear logic weaker than the exponential ``of course'': Algebraic and relational semantics
cites work: Gaifman's theorem on categorial grammars revisited
cites work: A BRIEF SURVEY OF FRAMES FOR THE LAMBEK CALCULUS
cites work: Sequent-systems and groupoid models. I
cites work: Q4287485
cites work: Q5509706
cites work: On the unity of logic
cites work: Logic programming in a fragment of intuitionistic linear logic
cites work: Q3035262
cites work: Q5688807
cites work: Talking about Explicit Databases in Categorial Grammar
cites work: The Mathematics of Sentence Structure
cites work: Decision problems for propositional linear logic
cites work: Q4862312
cites work: Q3999539
description: scientific article; zbMATH DE number 934102