Lambek calculi with 0 and test-failure in DPL

Sebastian Sequoiah-Grayson ^[1]
1. [1] KU Leuven
  
  KU Leuven
  
  Arrondissement Leuven, Bélgica
Localización: Linguistic Analysis, ISSN 0098-9053, Vol. 36, Nº. 1-4, 2010, págs. 517-531
Idioma: inglés
Texto completo no disponible (Saber más ...)
Resumen
- In Sequoiah-Grayson (2009a), the author gave a basic dynamic semantics [for] the Lambek Calculi, to which a dynamic negation was added. This dynamic negation was interpreted as procedural prohibition, or process exclusion. The resulting framework suggested connections with the analysis of negation as test-failure in the Dynamic Predicate Logic (DPL) due originally to Groenendijk and Stokhof (1991), and developed in van Benthem (1996). The aim of the present article is to explore this connection in detail.