Journal of Logic, Language and Information

, Volume 7, Issue 4, pp 399–411

Categorial Inference and Modal Logic

  • Natasha Kurtonina
Article

DOI: 10.1023/A:1008322125368

Cite this article as:
Kurtonina, N. Journal of Logic, Language and Information (1998) 7: 399. doi:10.1023/A:1008322125368

Abstract

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.

Copyright information

© Kluwer Academic Publishers 1998

Authors and Affiliations

  • Natasha Kurtonina
    • 1
  1. 1.Institute for Research in Cognitive ScienceUniversity of PennsylvaniaPhiladelphiaU.S.A.