On a connection between algebra, logic and linguistics

J. Lambek

Diagrammes (1989)

  • Volume: 22, page 59-75
  • ISSN: 0224-3911

How to cite

top

Lambek, J.. "On a connection between algebra, logic and linguistics." Diagrammes 22 (1989): 59-75. <http://eudml.org/doc/193030>.

@article{Lambek1989,
author = {Lambek, J.},
journal = {Diagrammes},
keywords = {context-free derivation; context-free grammar; multicategory; categorical grammar; Gentzen sequent; structural rules},
language = {eng},
pages = {59-75},
publisher = {Université Paris 7, Unité d'enseignement et de recherche de mathématiques},
title = {On a connection between algebra, logic and linguistics},
url = {http://eudml.org/doc/193030},
volume = {22},
year = {1989},
}

TY - JOUR
AU - Lambek, J.
TI - On a connection between algebra, logic and linguistics
JO - Diagrammes
PY - 1989
PB - Université Paris 7, Unité d'enseignement et de recherche de mathématiques
VL - 22
SP - 59
EP - 75
LA - eng
KW - context-free derivation; context-free grammar; multicategory; categorical grammar; Gentzen sequent; structural rules
UR - http://eudml.org/doc/193030
ER -

References

top
  1. Bourbaki, N.: Algèbre multilinéaire, Hermann, Paris, 1948. Zbl0039.25902
  2. Buszkowski, W., W. Marciszewski and J. van Benthem (eds.): Categorial Grammar, John Benjamins Publ. Co., Amsterdam, 1988. Zbl0691.00002MR1013842
  3. Church, A.: The calculi of lambda-conversion, Annals of Mathematics Studies 6, Princeton University Press, Princeton, N.J., 1941. Zbl67.0041.01MR5274JFM67.0041.01
  4. Curry, H.B. and R. Feys: Combinatory Logic I, North Holland, Amsterdam, 1958. Zbl0081.24104MR94298
  5. Curry, H.B.: Some logical aspects of grammatical structure, Proc. Symposia Appl. Math. 12 ( 1961), 56-68. 
  6. Girard, J.Y.: Linear logic, Theoretical Computer Science 50 ( 1987), 1-102. Zbl0625.03037MR899269
  7. Girard, J.Y.: Towards a geometry of interaction, Contemporary Math. 92 ( 1989), 69-108. Zbl0672.03039MR1003197
  8. Kleene, S.C.: Introduction to metamathematics, Van Nostrand, New York and Toronto, 1952. Zbl0047.00703MR51790
  9. Lambek, J.: The mathematics of sentence structure, Amer. Math. Monthly 65 ( 1958), 154-69. Zbl0080.00702MR106170
  10. Lambek, J.: Contributions to a mathematical analysis of the English verb-phrase, J. Can. Linguistic Assoc. 5 ( 1959), 83- 89. 
  11. Lambek, J.: On the calculus of syntactic types, Amer. Math. Soc. Proc. Symposia Appl. Math. 12 ( 1961), 166-78. 
  12. Lambek, J.: Deductive systems and categories I, J. Math. Systems Theory 2 ( 1968), 278-318. Zbl0176.28901MR235979
  13. Lambek, J.: Deductive systems and categories II, Springer LNM 86 ( 1969), 76-122. Zbl0198.33701MR242637
  14. Lambek, J.: Categorial and categorical grammars, in: Oehrle et al. 1988, 297-317. 
  15. Lambek, J.: Multicategories revisited, Contemporaxy Math. 92 ( 1989), 217-239. Zbl0685.18003MR1003201
  16. Lambek, J.: Grammar as mathematics, Canad. Math. Bull. 31 ( 1989), 1-17. Zbl0645.68081MR1010064
  17. Lambek, J. and P.J. Scott: Introduction to higher order categorical logic, Cambridge studies in advanced mathematics 7 ( 1986). Zbl0596.03002MR856915
  18. 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. Zbl0368.02036MR506628
  19. Montague, R.: Formal philosophy, selected papers of Richard Montague, edited by R.H. Thomason, Yale University Press, New Haven, 1974. 
  20. Moortgat, M.: Categorial investigations, Foris Publications, Dordrecht, 1988. 
  21. Morrill, G.: Grammar as logic, Research Paper EU CCS/RP- 34 ( 1989), Centre for Cognitive Science, University of Edinburgh. Zbl0899.03021
  22. Oehrle, R.T., E. Bach and D. Wheeler (editors): Categorial grammars and natural language structures, Reidel, Dordrecht, 1988. 
  23. Steedman, M.: Combinators and grammars, in: Oehrle et al. 1988, 417-442. 
  24. Szabo, M.E. (ed.): The collected papers of Gerhard Gentzen, Studies in Logic and the Foundations of Mathematics, North Holland, Amsterdam, 1969. Zbl0209.30001MR262050
  25. Szabo, M.E.: A categorical equivalence of proofs, Notre Dame J. Formal Logic 15 ( 1974), 177-91. Zbl0275.02033MR354325
  26. Szabo, M.E.: Algebra of Proofs, Studies in Logic and the Foundations of Mathematics 88, North Holland, Amsterdam, 1978. Zbl0532.03030MR487330
  27. Szabolcsi, A.: Combinatory grammar and projection from the lexicon, Preprint 1989. 
  28. 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. Zbl0695.03015MR1013843
  29. van Benthem, J.: The Lambek calculus, in: Oehrle et al. 1988, 35-88. 

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.