Categorial inference and modal logic

Journal of Logic, Language and Information

Volumn 7, Issue 4, 1998, Pages 399-411

  Kurtonina, Natasha ^a  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

Categorial grammar; Modal logic

Indexed keywords

EID: 0037955575     PISSN: 09258531     EISSN: 15729583     Source Type: Journal    
DOI: 10.1023/A:1008322125368     Document Type: Conference Paper

References (10)

1. 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.
2. 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.
3. Kurtonina, N., 1995, "Frames and labels," ILLC and OTS Dissertation Seiws, University of Amsterdam and Utrecht University.
4. 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.
5. Lambek, J., 1958, "The mathematics of sentence structure," American Mathematical Monthly 65, 154-170.
6. Moortgat, M., 1997, Categorial Type Logics. Handbook of Logic and Language, Amsterdam: Elsevier.
7. Morrill, G., 1994, Type Logical Grammar. Categorial Logic of Signs, Dordrecht: Kluwer Academic Publishers.
8. van Benthem, J., 1985, Modal Logic and Classical Logic, Naples: Bibliopolis.
9. van Benthem, J., 1991, Language in Action. Categories, Lambdas, and Dynamic Logic, Studies in Logic, Amsterdam: North-Holland.
10. van Benthem, J. and ter Meulen, A., eds., 1997, Handbook of Logic and Language, Amsterdam: North-Holland/Elsevier.