Abstract
This paper surveys the development of categorial grammars (also called type grammars) with emphasis on type logics (i.e. logical calculi underlying these grammars) and their relation to the origin in Ajdukiewicz (Studia Philosophica 1:1–27, 1935).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
All citations from Ajdukiewicz are based on the English translations of Ajdukiewicz’s original papers, collected in [6].
References
Abrusci, V.M.: Phase semantics and sequent calculus for pure noncommutative classical linear logic. J. Symb. Log. 56, 1403–1451 (1991)
Abrusci, V.M.: Classical conservative extensions of Lambek calculus. Studia Logica 71, 277–314 (2002)
Ajdukiewicz, K.: W sprawie ‘uniwersaliów’ [On the problem of ‘universals’]. Przegl ąd Filozoficzny 37, 219–234 (1934)
Ajdukiewicz, K.: Die syntaktische Konnexität (Syntactic connexion). Studia Philosophica 1, 1–27 (1935)
Ajdukiewicz, K.: Zwi ązki składniowe miedzy członami zdań oznajmuj ących (Syntactic connections between constituents of declarative sentences). Studia Filozoficzne 6(21), 73–86 (1960)
Ajdukiewicz, K.: Giedymin, J. (ed.) The Scientific World-Perspective and Other Essays, pp. 1931–1963. D. Reidel, Dordrecht (1978)
Bar-Hillel, Y.: A quasi-arithmetical notation for syntactic description. Language 29, 47–58 (1953)
Bar-Hillel, Y., Gaifman, C., Shamir, E.: On categorial and phrase structure grammars. Bull. Res. Counc. Isr. F9, 155–166 (1960)
Bocheński, J.: On the syntactical categories. New Scholasticism 23, 257–280 (1949)
Buszkowski, W.: Some decision problems in the theory of syntactic categories. Zeitschrift f. mathematische Logik und Grundlagen der Math. 28, 539–548 (1982)
Buszkowski, W.: Logiczne podstawy gramatyk kategorialnych Ajdukiewicza-Lambeka [Logical foundations of Ajdukiewicz-Lambek categorial grammars]. Państwowe Wydawnictwo Naukowe (1989)
Buszkowski, W.: Extending Lambek grammars to basic categorial grammars. J. Log. Lang. Inf. 5, 279–295 (1996)
Buszkowski, W.: The Ajdukiewicz calculus, Polish notation and Hilbert-style proofs. In: Woleński, J. (ed.) The Lvov-Warsaw School and Contemporary Philosophy, pp. 241–252. Springer Netherlands, Dordrecht (1998)
Buszkowski, W.: Lambek grammars based on pregroups. In: Logical Aspects of Computational Linguistics. Lecture Notes in Computer Science, vol. 2099, pp. 95–109. Springer, Berlin (2001)
Buszkowski, W.: Syntactic Categories and Types: Ajdukiewicz and Modern Categorial Grammars. In: Brożek, A., et al. (eds.) Tradition of the Lvov-Warsaw School: Ideas and Continuations, pp. 35–71. Leiden, Boston, Brill-Rodopi (2016)
Buszkowski, W., Farulewski, M.: Nonassociative Lambek calculus with additives and context-free languages. In: Languages: From Formal to Natural. Lecture Notes in Computer Science, vol. 5533, pp. 45–58. Springer, Berlin (2008)
Buszkowski, W., Marciszewski, W., van Benthem, J. (eds.): Categorial Grammar. John Benjamins, Amsterdam (1988)
Clark, A.: A learnable representation of syntax using residuated lattices. In: Formal Grammar. Lecture Notes in Computer Science, vol. 5591, pp. 183–198. Springer, Berlin (2011)
Curry, H.B.: Some logical aspects of grammatical structure. In: Jakobson, R. (ed.) Structure of Language and Its Mathematical Aspects. Proceedings of Symposium in Applied Mathematics, pp. 56–68. American Mathematical Society, Providence, RI (1961)
de Groote, Ph.: Towards abstract categorial grammars. In: Proceedings of 39th Annual Meeting and 10th Conference of the European Chapter of ACL, pp. 148–155. Association of Computational Linguistics (2001)
de Groote, Ph., Lamarche, F.: Classical Non-associative Lambek calculus. Studia Logica 71, 355–388 (2002)
Dekhtyar, M., Dikovsky, A., Karlov, B.: Categorial dependency grammars. Theor. Comput. Sci. 579, 33–63 (2015)
Došen, K.: A brief survey of frames for the Lambek calculus. Zeitschrift f. mathematische Logik und Grundlagen der Math. 38, 179–187 (1992)
Galatos, N., Jipsen, P., Kowalski, T., Ono, H.: Residuated Lattices: An Algebraic Glimpse at Substructural Logics. Elsevier, Amsterdam (2007)
Geach, P.T.: A program for syntax. Synthese 22, 3–17 (1971)
Girard, J.-Y.: Linear logic. Theor. Comput. Sci. 50, 1–102 (1987)
Husserl, E.: Logische Untersuchungen Halle (1900–1901)
Jakobson, R. (ed.): Structure of Language and Its Mathematical Aspects. In: Proceedings of Symposium in Applied Mathematics. American Mathematical Society, Providence, RI (1961)
Kaminski, M., Francez, N.: Relational semantics of the Lambek calculus extended with classical propositional logic. Studia Logica 102, 479–497 (2014)
Kaminski, M., Francez, N.: The Lambek calculus extended with intuitionistic propositional logic. Studia Logica 104, 1051–1082 (2016)
Kanazawa, M.: The Lambek calculus enriched with additional connectives. J. Log. Lang. Inf. 1, 141–171 (1992)
Kandulski, M.: Phrase-structure languages generated by categorial grammars with product. Zeitschrift f. mathematische Logik und Grundlagen der Math. 34, 373–383 (1988)
Kandulski, M.: The non-associative Lambek calculus. In: Buszkowski, W., Marciszewski, W., van Benthem, J. (eds.) Categorial Grammar, pp. 141–151. John Benjamins, Amsterdam (1988)
Kandulski, M.: The equivalence of nonassociative Lambek categorial grammars and context-free grammars. Zeitschrift f. mathematische Logik und Grundlagen der Math. 34, 41–52 (1988)
Kurucz, A., Németi, I., Sain, I., Simon, A.: Decidable and undecidable logics with a binary modality. J. Log. Lang. Inf. 4, 191–206 (1995)
Lambek, J.: The mathematics of sentence structure. Am. Math. Mon. 65,154–170 (1958)
Lambek, J.: On the calculus of syntactic types. In: Jakobson, R. (ed.) Structure of Language and Its Mathematical Aspects. In: Proceedings of Symposium in Applied Mathematics, pp. 166–178. American Mathematical Society, Providence, RI (1961)
Lambek, J.: Deductive systems and categories I. J. Math. Syst. Theory 2, 287–318 (1968)
Lambek, J.: Type grammars revisited. In: Logical Aspects of Computational Linguistics. Lecture Notes in Computer Science, vol. 1582, pp. 1–27. Springer, Berlin (1999)
Lambek, J.: From Word to Sentence: A Computational Algebraic Approach to Grammar. Polimetrica, Milano (2008)
Leśniewski, S.: Grundzüge eines neuen System der Grundlagen der Mathematik. Fundam. Math. 14, 1–81 (1929)
Montague, R.: English as a formal language. In: Thomason, R. (ed.) Formal Philosophy: Selected Papers of Richard Montague, pp. 188–221. Yale University Press, New Haven (1974)
Moortgat, M.: Categorial Investigations. Logical and Linguistic Aspects of the Lambek Calculus. Foris, Dordrecht (1988)
Moortgat, M.: Multimodal linguistic inference. J. Log. Lang. Inf. 5, 349–385 (1996)
Moortgat, M.: Categorial type logics. In: van Benthem, J., ter Meulen. A. (eds.) Handbook of Logic and Language, pp. 93–177. Elsevier/MIT, Amsterdam/Cambridge (1997)
Moot, R., Retoré, C.: The Logic of Categorial Grammars: A Deductive Account of Natural Language Syntax and Semantics. Lecture Notes in Computer Science, vol. 6850. Springer, Berlin (2012)
Morrill, G.: Type-Logical Grammar: Categorial Logic of Signs. Kluwer, Dordrecht (1994)
Morrill, G.: Categorial Grammar: Logical Syntax, Semantics, and Processing. Oxford University Press, Oxford (2011)
Nowaczyk, A.: Categorial languages and variable-binding operators. Studia Logica 37, 27–39 (1978)
Oehrle, R.T., Bach, E., Wheeler, D. (eds.): Categorial Grammars and Natural Language Structures. D. Reidel, Dordrecht (1988)
Pentus, M.: Lambek grammars are context-free. In: Proceedings of 8th IEEE Symposium on Logic in Computer Science, pp. 429–433 (1993)
Pentus, M.: Models for the Lambek calculus. Ann. Pure Appl. Logic 75, 179–213 (1995)
Pentus, M.: Lambek calculus is NP-complete. Theor. Comput. Sci. 357, 186–201 (2006)
Shaumyan, S.: Applicational Grammar as a Semantic Theory of Natural Language. Edinburgh University Press, Edinburgh (1977)
Sørensen, M.H., Urzyczyn, P.: Lectures on the Curry-Howard Isomorphism. Elsevier, Amsterdam (2006)
Stabler, E.: Tupled pregroup grammars. In: Casadio, C., Lambek, J. (eds.) Computational Algebraic Approaches to Natural Language, pp. 23–52. Polimetrica, Milano (2008)
Steedman, M.: Categorial grammar. Lingua 90, 221–258 (1993)
Suszko, R.: Syntactic structure and semantical reference I. Studia Logica 8, 213–244 (1958)
Suszko, R.: Syntactic structure and semantical reference II. Studia Logica 9, 63–91 (1960)
Tałasiewicz, M.: Philosophy of Syntax. Foundational Topics. Trends in Logic, vol. 29. Springer, Berlin (2010)
Uszkoreit, H.: Categorial unification grammar. In: Proceedings of 11th International Conference on Computational Linguistics, pp. 187–194 (1986)
van Benthem, J.: Essays in Logical Semantics. D. Reidel, Dordrecht (1986)
van Benthem, J.: The semantics of variety in categorial grammar. In: Buszkowski, W., Marciszewski, W., van Benthem, J. (eds.) Categorial Grammar, pp. 37–55. John Benjamins, Amsterdam (1988)
van Benthem, J.: Language in Action. Categories, Lambdas and Dynamic Logic. North-Holland, Amsterdam (1991)
van Benthem, J., ter Meulen. A. (eds.): Handbook of Logic and Language. Elsevier/MIT, Amsterdam/Cambridge (1997)
Wansing, H.: The Logic of Information Structures. Ph.D. Thesis, University of Amsterdam (1992)
Wybraniec-Skardowska, U.: Theory of Language Syntax. Kluwer, Dordrecht (1991)
Yetter, D.N.: Quantales and (non-commutative) linear logic. J. Symb. Log. 55, 41–64 (1990)
Zielonka, W.: Axiomatizability of Ajdukiewicz-Lambek calculus by means of cancellation schemes. Zeitschrift f. mathematische Logik und Grundlagen der Math. 27, 215–224 (1981)
Zielonka, W.: Weak implicational logics related to the Lambek calculus - Gentzen versus Hilbert formalisms. In: Towards Mathematical Philosophy. Trends in Logic, vol. 28, pp. 201–212. Springer, Berlin (2009)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG, part of Springer Nature
About this chapter
Cite this chapter
Buszkowski, W. (2018). Categorial Grammars and Their Logics. In: Garrido, Á., Wybraniec-Skardowska, U. (eds) The Lvov-Warsaw School. Past and Present. Studies in Universal Logic. Birkhäuser, Cham. https://doi.org/10.1007/978-3-319-65430-0_6
Download citation
DOI: https://doi.org/10.1007/978-3-319-65430-0_6
Published:
Publisher Name: Birkhäuser, Cham
Print ISBN: 978-3-319-65429-4
Online ISBN: 978-3-319-65430-0
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)