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.