Abstract
Recently M. Szabolcs [12] has shown that many substructural logics including Lambek CalculusL are complete with respect to relativized Relational Semantics. The current paper proves that it is sufficient forL to consider a relativization to the relation “x dividesy” in some fixed semigroupG.
Similar content being viewed by others
References
Andréka, H., Mikulás, Sz., “Lambek Calculus and its relational semantics: Completeness and incompleteness,” To appear inJournal of Logic, Language and Information.
van Benthem, J. 1988,Semantic Parallels in Natural Language and Computation, Institute for Language, Logic and Information, University of Amsterdam.
van Benthem, J., 1991, “Language in Action,” Amsterdam: North-Holland.
Buszkowski, W., 1986, “Completeness results for the Lambek Calculus,”Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 32, 13–28.
Došen, K., 1985, “A completeness theorem for the Lambek Calculus of syntactic categories,”Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 31, 235–241.
Došen, K., 1992, “A brief survey of frames for the Lambek Calculus,”Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 38, 179–187.
Kramer, R., 1988, “Relativized relation algebras,” in:Algebraic Logic. Colloquia Mathematica Societatis János Bolyai 54, H. Andréka, D. Monk, and I. Nemeti, eds., pp. 293–349.
Lambek, J., 1958, “The mathematics of sentence structure,”The American Mathematical Monthly 65, 154–170.
Orlowska, E., 1988, “Relational interpretation of modal logics,”Bulletin of the Section of Logic 17, 2–14.
Orlowska, E., 1988, “Relational interpretation of modal logics,” in:Algebraic Logic. Colloquia Mathematica Societatis János Bolyai 54, H. Andréka, D. Monk, and I. Nemeti, eds., pp. 443–471.
Roorda, D., 1991,Resource Logics: Proof — Theoretical Investigations, Ph.D. thesis, Fac. Math. and Comp. Sci., University of Amsterdam.
Szabolcs Mikulás, 1992,The Completeness of the Lambek Calculus with respect to Relational Semantics, The ILLC Prepublication Series, University of Amsterdam, LP-92-03.
Author information
Authors and Affiliations
Additional information
Research partially supported by the Russian Fund for Fundamental Research Grant 93-012-590.
Rights and permissions
About this article
Cite this article
Pankrat'ev, N. On the completeness of the Lambek Calculus with respect to relativized Relational Semantics. J Logic Lang Inf 3, 233–246 (1994). https://doi.org/10.1007/BF01053247
Issue Date:
DOI: https://doi.org/10.1007/BF01053247