Displacement logic for anaphora

DOI10.1016/J.JCSS.2013.05.006MaRDI QIDQ386040zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

anaphorabinding principlescategorical logiccut eliminationdisplacement calculusnegation as failure

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)

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

Cites work

• Anaphora and type logical grammar
• Categorial grammars with negative information
• From word to sentence. A computational algebraic approach to grammar
• Grammar and logic*
• scientific article; zbMATH DE number 4132135 (Why is no real title available?)
• scientific article; zbMATH DE number 1341534 (Why is no real title available?)
• scientific article; zbMATH DE number 976409 (Why is no real title available?)
• scientific article; zbMATH DE number 842687 (Why is no real title available?)
• Linear logic
• Logic programming of the displacement calculus
• On Anaphora and the Binding Principles in Categorial Grammar
• Resource-sensitivity, binding and anaphora.
• Sequent-systems and groupoid models. I
• The displacement calculus
• The Lambek calculus enriched with additional connectives

Cited in

(4)

• The displacement calculus
• Overtly anaphoric control in type logical grammar
• Proof nets for the displacement calculus
• Logic programming of 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)