On a connection between algebra, logic and linguistics
Diagrammes, Tome 22 (1989), pp. 59-75.
@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},
     zbl = {0711.18001},
     mrnumber = {1059271},
     language = {en},
     url = {http://www.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
DA  - 1989///
SP  - 59
EP  - 75
VL  - 22
PB  - Université Paris 7, Unité d'enseignement et de recherche de mathématiques
UR  - http://www.numdam.org/item/DIA_1989__22__59_0/
UR  - https://zbmath.org/?q=an%3A0711.18001
UR  - https://www.ams.org/mathscinet-getitem?mr=1059271
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://www.numdam.org/item/DIA_1989__22__59_0/

Bourbaki, N.: Algèbre multilinéaire, Hermann, Paris, 1948.

Buszkowski, W., W. Marciszewski and J. Van Benthem (eds.): Categorial Grammar, John Benjamins Publ. Co., Amsterdam, 1988. | MR 1013842 | Zbl 0691.00002

Church, A.: The calculi of lambda-conversion, Annals of Mathematics Studies 6, Princeton University Press, Princeton, N.J., 1941. | JFM 67.0041.01 | MR 5274

Curry, H.B. and R. Feys: Combinatory Logic I, North Holland, Amsterdam, 1958. | MR 94298 | Zbl 0081.24104

Curry, H.B.: Some logical aspects of grammatical structure, Proc. Symposia Appl. Math. 12 ( 1961), 56-68.

Girard, J.Y.: Linear logic, Theoretical Computer Science 50 ( 1987), 1-102. | MR 899269 | Zbl 0625.03037

Girard, J.Y.: Towards a geometry of interaction, Contemporary Math. 92 ( 1989), 69-108. | MR 1003197 | Zbl 0672.03039

Kleene, S.C.: Introduction to metamathematics, Van Nostrand, New York and Toronto, 1952. | MR 51790 | Zbl 0047.00703

Lambek, J.: The mathematics of sentence structure, Amer. Math. Monthly 65 ( 1958), 154-69. | MR 106170 | Zbl 0080.00702

Lambek, J.: Contributions to a mathematical analysis of the English verb-phrase, J. Can. Linguistic Assoc. 5 ( 1959), 83- 89.

Lambek, J.: On the calculus of syntactic types, Amer. Math. Soc. Proc. Symposia Appl. Math. 12 ( 1961), 166-78.

Lambek, J.: Deductive systems and categories I, J. Math. Systems Theory 2 ( 1968), 278-318. | MR 235979 | Zbl 0176.28901

Lambek, J.: Deductive systems and categories II, Springer LNM 86 ( 1969), 76-122. | MR 242637 | Zbl 0198.33701

Lambek, J.: Categorial and categorical grammars, in: Oehrle et al. 1988, 297-317.

Lambek, J.: Multicategories revisited, Contemporaxy Math. 92 ( 1989), 217-239. | MR 1003201 | Zbl 0685.18003

Lambek, J.: Grammar as mathematics, Canad. Math. Bull. 31 ( 1989), 1-17. | MR 1010064 | Zbl 0645.68081

Lambek, J. and P.J. Scott: Introduction to higher order categorical logic, Cambridge studies in advanced mathematics 7 ( 1986). | MR 856915 | Zbl 0596.03002

Minc, G.E.: 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 506628 | Zbl 0368.02036

Montague, R.: Formal philosophy, selected papers of Richard Montague, edited by R.H. Thomason, Yale University Press, New Haven, 1974.

Moortgat, M.: Categorial investigations, Foris Publications, Dordrecht, 1988.

Morrill, G.: Grammar as logic, Research Paper EU CCS/RP- 34 ( 1989), Centre for Cognitive Science, University of Edinburgh.

Oehrle, R.T., E. Bach and D. Wheeler (editors): Categorial grammars and natural language structures, Reidel, Dordrecht, 1988.

Steedman, M.: Combinators and grammars, in: Oehrle et al. 1988, 417-442.

Szabo, M.E. (ed.): The collected papers of Gerhard Gentzen, Studies in Logic and the Foundations of Mathematics, North Holland, Amsterdam, 1969. | MR 262050 | Zbl 0209.30001

Szabo, M.E.: A categorical equivalence of proofs, Notre Dame J. Formal Logic 15 ( 1974), 177-91. | MR 354325 | Zbl 0275.02033

Szabo, M.E.: Algebra of Proofs, Studies in Logic and the Foundations of Mathematics 88, North Holland, Amsterdam, 1978. | MR 487330 | Zbl 0532.03030

Szabolcsi, A.: Combinatory grammar and projection from the lexicon, Preprint 1989.

Van Benthem, J.: The semantics of variety in categorial grammar, Simon Fraser University, Report 83-26 ( 1983), reprinted in: Buszkowski et al. 1988, 37-55. | MR 1013843 | Zbl 0695.03015

Van Benthem, J.: The Lambek calculus, in: Oehrle et al. 1988, 35-88.