The displacement calculus

DOI10.1007/s10849-010-9129-2zbMath1233.03035OpenAlexW1997685510MaRDI QIDQ2429994

Oriol Valentín, Mario Fadda, Glyn Morrill

Publication date: 5 April 2011

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

Full work available at URL: https://doi.org/10.1007/s10849-010-9129-2

zbMATH Keywords

Lambek calculusdiscontinuitycut-eliminationcategorial grammarwrappingtype logical grammar

Mathematics Subject Classification ID

Logic of natural languages (03B65) Cut-elimination and normal-form theorems (03F05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (20)

Normal Forms for Multiple Context-Free Languages and Displacement Lambek Grammars ⋮ Language-theoretic and finite relation models for the (full) Lambek calculus ⋮ Displacement logic for anaphora ⋮ Lambek vs. Lambek: functorial vector space semantics and string diagrams for Lambek calculus ⋮ Parsing/theorem-proving for logical grammar \textit{CatLog3} ⋮ \(\mathrm{NL}_\lambda\) as the logic of scope and movement ⋮ Natural language semantics and computability ⋮ Making first order linear logic a generating grammar ⋮ Bracket induction for Lambek calculus with bracket modalities ⋮ Stripping isn't so mysterious, or anomalous scope, either ⋮ On the Logic of Expansion in Natural Language ⋮ Multimodality in the Hypergraph Lambek Calculus ⋮ Extended Lambek Calculi and First-Order Linear Logic ⋮ A Categorial Type Logic ⋮ Conjoinability in 1-Discontinuous Lambek Calculus ⋮ The Hidden Structural Rules of the Discontinuous Lambek Calculus ⋮ Models for the Displacement Calculus ⋮ On Some Extensions of Syntactic Concept Lattices: Completeness and Finiteness Results ⋮ Overtly Anaphoric Control in Type Logical Grammar ⋮ Proof Nets for the Displacement Calculus

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear logic
• Language in action. Categories, lambdas and dynamic logic
• The Mathematics of Sentence Structure
• Dutch Grammar and Processing: A Case Study in TLG
• Some Decision Problems in the Theory of Syntactic Categories
• A Sign-Based Extension to the Lambek Calculus for Discontinuous Constituency
• On Anaphora and the Binding Principles in Categorial Grammar
• Proof Nets for Basic Discontinuous Lambek Calculus
• The Hidden Structural Rules of the Discontinuous Lambek Calculus
• Universal grammar
• Linguistic application of first order intuitionistic linear logic

This page was built for publication: The displacement calculus