Displacement logic for anaphora
作者：
Highlights：
• Logical grammar account of anaphora and binding principles.
• Both syntactic (limited contraction) and lexical (displacement logic) duplication.
• Combining additives, S4 modality, limited contraction and displacement logic.
• Proposal of negation as failure in categorial grammar.
• Proof-theoretical study including Cut-elimination and Curry–Howard labelling.
摘要
•Logical grammar account of anaphora and binding principles.•Both syntactic (limited contraction) and lexical (displacement logic) duplication.•Combining additives, S4 modality, limited contraction and displacement logic.•Proposal of negation as failure in categorial grammar.•Proof-theoretical study including Cut-elimination and Curry–Howard labelling.
论文关键词：Anaphora,Binding principles,Categorial logic,Cut-elimination,Displacement calculus,Negation as failure
论文评审过程：Received 31 October 2010, Revised 24 November 2011, Accepted 4 April 2013, Available online 17 May 2013.
论文官网地址：https://doi.org/10.1016/j.jcss.2013.05.006
