Extended Lambek Calculi and First-Order Linear Logic
type: Item
instance of: scholarly article
title: Extended Lambek Calculi and First-Order Linear Logic
zbMATH Open document ID: 1285.03016
DOI: 10.1007/978-3-642-54789-8_17
author: Richard Moot
published in: Lecture Notes in Computer Science
publication date: 2014-05-08T00:00:00Z
full work available at URL: https://arxiv.org/abs/1305.6238
Mathematics Subject Classification ID: 03B47
Mathematics Subject Classification ID: 03B65
zbMATH DE Number: 6293317
MaRDI profile type: Publication
OpenAlex ID: W1673235088
arXiv ID: 1305.6238
cites work: Indexed Grammars—An Extension of Context-Free Grammars
cites work: Logic Programming with Focusing Proofs in Linear Logic
cites work: Q5541334
cites work: Q4842977
cites work: Continuation Semantics for Symmetric Categorial Grammar
cites work: Generalized Quantifiers in Declarative and Interrogative Sentences
cites work: The structure of multiplicatives
cites work: A BRIEF SURVEY OF FRAMES FOR THE LAMBEK CALCULUS
cites work: Linear logic
cites work: Q4842966
cites work: Locus solum: From the rules of logic to the logic of rules.
cites work: A New Normal-Form Theorem for Context-Free Phrase Structure Grammars
cites work: The Pumping Lemma for Well-Nested Multiple Context-Free Languages
cites work: The Mathematics of Sentence Structure
cites work: Q4842970
cites work: First-order linear logic without modalities is NEXPTIME-hard
cites work: Multimodal linguistic inference
cites work: Symmetries in Natural Language Syntax and Semantics: The Lambek-Grishin Calculus
cites work: Q5416219
cites work: Proof nets for the multimodal Lambek calculus
cites work: Linguistic application of first order intuitionistic linear logic
cites work: The logic of categorial grammars. A deductive account of natural language syntax and semantics
cites work: Proof Nets for Basic Discontinuous Lambek Calculus
cites work: On Anaphora and the Binding Principles in Categorial Grammar
cites work: The displacement calculus
cites work: Product-free Lambek calculus and context-free grammars
cites work: Lambek calculus is NP-complete
cites work: Q3992706
cites work: On multiple context-free grammars
cites work: Normal Forms for Multiple Context-Free Languages and Displacement Lambek Grammars
description: scientific article; zbMATH DE number 6293317