Displacement logic for anaphora
Visualitza/Obre
Cita com:
hdl:2117/28349
Tipus de documentArticle
Data publicació2014-03
Condicions d'accésAccés obert
Llevat que s'hi indiqui el contrari, els
continguts d'aquesta obra estan subjectes a la llicència de Creative Commons
:
Reconeixement-NoComercial-SenseObraDerivada 3.0 Espanya
Abstract
The displacement calculus of Morrill, Valentín and Fadda (2011) [25] aspires to replace the calculus of Lambek (1958) [13] as the foundation of categorial grammar by accommodating intercalation as well as concatenation while remaining free of structural rules and enjoying Cut-elimination and its good corollaries. Jäger (2005) [11] proposes a type logical treatment of anaphora with syntactic duplication using limited contraction. Morrill and Valentín (2010) [24] apply (modal) displacement calculus to anaphora with lexical duplication and propose extension with a negation as failure in conjunction with additives to capture binding conditions. In this paper we present an account of anaphora developing characteristics and employing machinery from both of these proposals.
CitacióMorrill, G.; Valentin Fernández, J. Displacement logic for anaphora. "Journal of computer and system sciences", Març 2014, vol. 80, núm. 2, p. 390-409.
ISSN0022-0000
Versió de l'editorhttp://www.sciencedirect.com/science/article/pii/S0022000013000950
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
YJCSS_2701-2.pdf | 987,4Kb | Visualitza/Obre |