Models for the Displacement Calculus

DOI10.1007/978-3-662-53042-9_9MaRDI QIDQ2835050zbMATH OpenOpenAlexFDO

Authors Oriol Valentín

Publication date 1 December 2016

Published in Formal Grammar (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1706.03244, http://hdl.handle.net/2117/83549

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Abstract: The displacement calculus $mathbfD$ is a conservative extension of the Lambek calculus $mathbfL1$ (with empty antecedents allowed in sequents). $mathbfL1$ can be said to be the logic of concatenation, while $mathbfD$ can be said to be the logic of concatenation and intercalation. In many senses, it can be claimed that $mathbfD$ mimics $mathbfL1$ in that the proof theory, generative capacity and complexity of the former calculus are natural extensions of the latter calculus. In this paper, we strengthen this claim. We present the appropriate classes of models for $mathbfD$ and prove some completeness results; strikingly, we see that these results and proofs are natural extensions of the corresponding ones for $mathbfL1$.

Recommendations

• The displacement calculus
• Discrete differential forms for computational modeling
• Differential equation models in the light of calculus
• Proof nets for the displacement calculus
• A mathematical model for elasticity using calculus on discrete manifolds
• scientific article; zbMATH DE number 4077609
• Models for inconsistent and incomplete differential calculus
• scientific article; zbMATH DE number 1523995
• scientific article; zbMATH DE number 139686

Cites work

• Completeness Results for Lambek Syntactic Calculus
• Dutch Grammar and Processing: A Case Study in TLG
• Extended Lambek calculi and first-order linear logic
• scientific article; zbMATH DE number 3970817 (Why is no real title available?)
• Hypersequents, logical consequence and intermediate logics for concurrency
• Normal forms for multiple context-free languages and displacement Lambek grammars
• The displacement calculus
• The Mathematics of Sentence Structure

Cited in

(5)

• The displacement calculus
• Proof nets for the displacement calculus
• On the logic of expansion in natural language
• Generalized discontinuity
• Displacement logic for anaphora

This page was built for publication: Models for the Displacement Calculus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2835050)