Displacement logic for anaphora
From MaRDI portal
Publication:386040
DOI10.1016/j.jcss.2013.05.006zbMath1433.03067MaRDI QIDQ386040
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
cut elimination; anaphora; categorical logic; negation as failure; binding principles; displacement calculus
03B65: Logic of natural languages
03F05: Cut-elimination and normal-form theorems
03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- 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