Displacement logic for anaphora

DOI10.1016/j.jcss.2013.05.006zbMath1433.03067OpenAlexW2064259365MaRDI QIDQ386040

Glyn Morrill, Oriol Valentín

Publication date: 13 December 2013

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jcss.2013.05.006

zbMATH Keywords

cut eliminationanaphoracategorical logicnegation as failurebinding principlesdisplacement calculus

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 (1)

Overtly Anaphoric Control in Type Logical Grammar

Cites Work

• Linear logic
• Sequent-systems and groupoid models. I
• The Lambek calculus enriched with additional connectives
• Resource-sensitivity, binding and anaphora.
• The displacement calculus
• Anaphora and type logical grammar
• Logic Programming of the Displacement Calculus
• Grammar and logic*
• On Anaphora and the Binding Principles in Categorial Grammar
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Displacement logic for anaphora