@article{DIA_1989__22__59_0, author = {Lambek, J.}, title = {On a connection between algebra, logic and linguistics}, journal = {Diagrammes}, pages = {59--75}, publisher = {Universit\'e Paris 7, Unit\'e d'enseignement et de recherche de math\'ematiques}, volume = {22}, year = {1989}, mrnumber = {1059271}, zbl = {0711.18001}, language = {en}, url = {http://archive.numdam.org/item/DIA_1989__22__59_0/} }
TY - JOUR AU - Lambek, J. TI - On a connection between algebra, logic and linguistics JO - Diagrammes PY - 1989 SP - 59 EP - 75 VL - 22 PB - Université Paris 7, Unité d'enseignement et de recherche de mathématiques UR - http://archive.numdam.org/item/DIA_1989__22__59_0/ LA - en ID - DIA_1989__22__59_0 ER -
Lambek, J. On a connection between algebra, logic and linguistics. Diagrammes, Tome 22 (1989), pp. 59-75. http://archive.numdam.org/item/DIA_1989__22__59_0/
Algèbre multilinéaire, Hermann, Paris, 1948.
:Categorial Grammar, John Benjamins Publ. Co., Amsterdam, 1988. | MR | Zbl
, and (eds.):The calculi of lambda-conversion, Annals of Mathematics Studies 6, Princeton University Press, Princeton, N.J., 1941. | JFM | MR
:Combinatory Logic I, North Holland, Amsterdam, 1958. | MR | Zbl
and :Some logical aspects of grammatical structure, Proc. Symposia Appl. Math. 12 ( 1961), 56-68.
:Linear logic, Theoretical Computer Science 50 ( 1987), 1-102. | MR | Zbl
:Towards a geometry of interaction, Contemporary Math. 92 ( 1989), 69-108. | MR | Zbl
:Introduction to metamathematics, Van Nostrand, New York and Toronto, 1952. | MR | Zbl
:The mathematics of sentence structure, Amer. Math. Monthly 65 ( 1958), 154-69. | MR | Zbl
:Contributions to a mathematical analysis of the English verb-phrase, J. Can. Linguistic Assoc. 5 ( 1959), 83- 89.
:On the calculus of syntactic types, Amer. Math. Soc. Proc. Symposia Appl. Math. 12 ( 1961), 166-78.
:Deductive systems and categories I, J. Math. Systems Theory 2 ( 1968), 278-318. | MR | Zbl
:Deductive systems and categories II, Springer LNM 86 ( 1969), 76-122. | MR | Zbl
:Categorial and categorical grammars, in: Oehrle et al. 1988, 297-317.
:Multicategories revisited, Contemporaxy Math. 92 ( 1989), 217-239. | MR | Zbl
:Grammar as mathematics, Canad. Math. Bull. 31 ( 1989), 1-17. | MR | Zbl
:Introduction to higher order categorical logic, Cambridge studies in advanced mathematics 7 ( 1986). | MR | Zbl
and :Closed categories and the theory of proofs, translated from Zapiski Nauchnych Seminarov Leningradskogo Otdeleniya Mat. Instituta im. V.A. Stuklova AN SSSR 68 ( 1977), 83-144. | MR | Zbl
:Formal philosophy, selected papers of Richard Montague, edited by R.H. Thomason, Yale University Press, New Haven, 1974.
:Categorial investigations, Foris Publications, Dordrecht, 1988.
:Grammar as logic, Research Paper EU CCS/RP- 34 ( 1989), Centre for Cognitive Science, University of Edinburgh.
:Categorial grammars and natural language structures, Reidel, Dordrecht, 1988.
, and (editors):Combinators and grammars, in: Oehrle et al. 1988, 417-442.
:The collected papers of Gerhard Gentzen, Studies in Logic and the Foundations of Mathematics, North Holland, Amsterdam, 1969. | MR | Zbl
(ed.):A categorical equivalence of proofs, Notre Dame J. Formal Logic 15 ( 1974), 177-91. | MR | Zbl
:Algebra of Proofs, Studies in Logic and the Foundations of Mathematics 88, North Holland, Amsterdam, 1978. | MR | Zbl
:Combinatory grammar and projection from the lexicon, Preprint 1989.
:The semantics of variety in categorial grammar, Simon Fraser University, Report 83-26 ( 1983), reprinted in: Buszkowski et al. 1988, 37-55. | MR | Zbl
:The Lambek calculus, in: Oehrle et al. 1988, 35-88.
: