Categorial Inference and Modal Logic
- Cite this article as:
- Kurtonina, N. Journal of Logic, Language and Information (1998) 7: 399. doi:10.1023/A:1008322125368
This paper establishes a connection between structure sensitive categorial inference and classical modal logic. The embedding theorems for non-associative Lambek Calculus and the whole class of its weak Sahlqvist extensions demonstrate that various resource sensitive regimes can be modelled within the framework of unimodal temporal logic. On the semantic side, this requires decomposition of the ternary accessibility relation to provide its correlation with standard binary Kripke frames and models.