Lambek Calculi with 0 and Test – Failure in Dpl

@inproceedings{SequoiahGrayson2009LambekCW,
  title={Lambek Calculi with 0 and Test – Failure in Dpl},
  author={Sebastian Sequoiah-Grayson},
  year={2009}
}
In Sequoiah-Grayson (2009a), the author gave a basic dynamic semantics 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… CONTINUE READING