Linguistic Analysis

A research journal devoted to the publication of high quality articles in formal phonology, morphology, syntax and semantics. In continuous publication since 1976. ISSN: 0098-9053

Abstract

Lambek Calculi With 0 and Test-Failure in DPL

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.