Displacement logic for anaphora

DOI10.1016/J.JCSS.2013.05.006zbMATH Open1433.03067OpenAlexW2064259365MaRDI QIDQ386040FDOQ386040

Authors: 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

Recommendations

• The displacement calculus
• On Anaphora and the Binding Principles in Categorial Grammar
• Logic programming of the displacement calculus
• scientific article; zbMATH DE number 1689579
• Models for the Displacement Calculus

zbMATH Keywords

categorical logiccut eliminationnegation as failureanaphorabinding principlesdisplacement calculus

Mathematics Subject Classification ID

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

Cites Work

• Linear logic
• From word to sentence. A computational algebraic approach to grammar
• Title not available (Why is that?)
• The Lambek calculus enriched with additional connectives
• Sequent-systems and groupoid models. I
• Resource-sensitivity, binding and anaphora.
• The displacement calculus
• Anaphora and type logical grammar
• Categorial grammars with negative information
• Logic programming of the displacement calculus
• Title not available (Why is that?)
• Title not available (Why is that?)
• Grammar and logic*
• Title not available (Why is that?)
• On Anaphora and the Binding Principles in Categorial Grammar

Cited In (4)

• Logic programming of the displacement calculus
• The displacement calculus
• Overtly anaphoric control in type logical grammar
• Proof nets for the displacement calculus

This page was built for publication: Displacement logic for anaphora

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