×

On a connection between algebra, logic and linguistics. (English) Zbl 0711.18001

From the author’s introduction: “It is claimed that logic is to linguistics as universal algebra is to multilinear algebra, the common thread being Gentzen’s notion of ‘sequent’, which goes under different names in the four fields: deduction, derivation, operation and multilinear form.”
Reviewer: M.Eytan

MSC:

18C99 Categories and theories
03F03 Proof theory in general (including proof-theoretic semantics)
68Q42 Grammars and rewriting systems
03B65 Logic of natural languages
PDFBibTeX XMLCite
Full Text: EuDML

References:

[1] Bourbaki, N.: Algèbre multilinéaire, Hermann, Paris, 1948. · Zbl 0039.25902
[2] Buszkowski, W., W. Marciszewski and J. van Benthem (eds.): Categorial Grammar, John Benjamins Publ. Co., Amsterdam, 1988. Zbl0691.00002 MR1013842 · Zbl 0691.00002
[3] Church, A.: The calculi of lambda-conversion, Annals of Mathematics Studies 6, Princeton University Press, Princeton, N.J., 1941. MR5274 JFM67.0041.01 · JFM 67.0041.01
[4] Curry, H.B. and R. Feys: Combinatory Logic I, North Holland, Amsterdam, 1958. Zbl0081.24104 MR94298 · Zbl 0081.24104
[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.03037 MR899269 · Zbl 0625.03037 · doi:10.1016/0304-3975(87)90045-4
[7] Girard, J.Y.: Towards a geometry of interaction, Contemporary Math. 92 ( 1989), 69-108. Zbl0672.03039 MR1003197 · Zbl 0672.03039
[8] Kleene, S.C.: Introduction to metamathematics, Van Nostrand, New York and Toronto, 1952. Zbl0047.00703 MR51790 · Zbl 0047.00703
[9] Lambek, J.: The mathematics of sentence structure, Amer. Math. Monthly 65 ( 1958), 154-69. Zbl0080.00702 MR106170 · Zbl 0080.00702 · doi:10.2307/2310058
[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.28901 MR235979 · Zbl 0176.28901 · doi:10.1007/BF01703261
[13] Lambek, J.: Deductive systems and categories II, Springer LNM 86 ( 1969), 76-122. Zbl0198.33701 MR242637 · Zbl 0198.33701
[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.18003 MR1003201 · Zbl 0685.18003
[16] Lambek, J.: Grammar as mathematics, Canad. Math. Bull. 31 ( 1989), 1-17. Zbl0645.68081 MR1010064 · Zbl 0645.68081 · doi:10.4153/CMB-1989-039-x
[17] Lambek, J. and P.J. Scott: Introduction to higher order categorical logic, Cambridge studies in advanced mathematics 7 ( 1986). Zbl0596.03002 MR856915 · Zbl 0596.03002
[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.02036 MR506628 · Zbl 0368.02036
[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. · Zbl 0899.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.30001 MR262050 · Zbl 0209.30001
[25] Szabo, M.E.: A categorical equivalence of proofs, Notre Dame J. Formal Logic 15 ( 1974), 177-91. Zbl0275.02033 MR354325 · Zbl 0275.02033 · doi:10.1305/ndjfl/1093891297
[26] Szabo, M.E.: Algebra of Proofs, Studies in Logic and the Foundations of Mathematics 88, North Holland, Amsterdam, 1978. Zbl0532.03030 MR487330 · Zbl 0532.03030
[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.03015 MR1013843 · Zbl 0695.03015
[29] van Benthem, J.: The Lambek calculus, in: Oehrle et al. 1988, 35-88.
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.