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.
Similar content being viewed by others
References
Buszkowski, W., 1997, “Mathematical linguistics and proof theory,” pp. 683–736 in Handbook of Logic and Language, J. van Benthem and A. ter Meulen, eds., Amsterdam: North-Holland/Elsevier.
Kandulski, M., 1988, “The non-associative Lambek calculus,” pp. 141–151 in Categorial Grammar, Linguistic and Literary Studies in Eastern Europe, Vol. 25, W. Buszkowski, W. Marciszewski, and J. van Benthem, eds., Amsterdam: John Benjamins.
Kurtonina, N., 1995, “Frames and labels,” ILLC and OTS Dissertation Seiws, University of Amsterdam and Utrecht University.
Kurtonina, N. and Moortgat, M., 1997, “Structural control,” pp. 75–115 in Specifying Syntactic Structures, P. Blackburn and M. de Rijke, eds., Stanford, CA: CSLI.
Lambek, J., 1958, “The mathematics of sentence structure,” American Mathematical Monthly 65, 154–170.
Moortgat, M., 1997, Categorial Type Logics. Handbook of Logic and Language, Amsterdam: Elsevier.
Morrill, G., 1994, Type Logical Grammar. Categorial Logic of Signs, Dordrecht: Kluwer Academic Publishers.
van Benthem, J., 1985, Modal Logic and Classical Logic, Naples: Bibliopolis.
van Benthem, J., 1991, Language in Action. Categories, Lambdas, and Dynamic Logic, Studies in Logic, Amsterdam: North-Holland.
van Benthem, J. and ter Meulen, A., eds., 1997, Handbook of Logic and Language, Amsterdam: North-Holland/Elsevier.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Kurtonina, N. Categorial Inference and Modal Logic. Journal of Logic, Language and Information 7, 399–411 (1998). https://doi.org/10.1023/A:1008322125368
Issue Date:
DOI: https://doi.org/10.1023/A:1008322125368