Skip to main content
SpringerLink
Log in

Editorial Introduction

  • Editorial Introduction
  • Published:
Studia Logica Aims and scope Submit manuscript

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

References

  1. Abrusci, V. M., ‘Phase semantics and sequent calculus for pure noncommutative classical linear logic’, Journal of Symbolic Logic 56 (1991), 1403-1451.

    Google Scholar 

  2. Ajdukiewicz, K., ‘Die syntaktische Konnexität’, Studia Philosophica 1 (1935), 1-27.

    Google Scholar 

  3. Andréka, H., and S. Mikulás, ‘Lambek calculus and its relational semantics. Completeness and Incompleteness’, Journal of Logic, Language and Information 3 (1994), 1-37.

    Google Scholar 

  4. Anglin, W. S., and J. Lambek, The Heritage of Thales, Springer, New York, 1995.

    Google Scholar 

  5. Bar-Hillel, Y., C. Gaifman and E. Shamir, ‘On categorial and phrase structure grammars’, Bulletin Res. Council Israel F 9 (1960), 155-166.

    Google Scholar 

  6. Bhargava, M., and J. Lambek, ‘A production grammar for Hindi kinship terminology’, Theoretical Linguistics 10 (1983), 227-245.

    Google Scholar 

  7. Buszkowski, W., ‘Some decision problems in the theory of syntactic categories’, Zeitschrift für mathematische Logik und Grundlagen der Mathematik 28 (1982), 539-548.

    Google Scholar 

  8. Buszkowski, W., Fregean grammar and residuated semigroups, Frege Conference 1984, G. Wechsung (ed.), Akademie-Verlag, Berlin.

    Google Scholar 

  9. Buszkowski, W., ‘The equivalence of unidirectional Lambek categorial grammars and context-free grammars’, Zeitschrift für mathematische Logik und Grundlagen der Mathematik 31 (1985), 369-384.

    Google Scholar 

  10. Buszkowski, W., ‘Completeness results for Lambek Syntactic Calculus’, Zeitschrift für mathematische Logik und Grundlagen der Mathematik 32 (1986), 13-28.

    Google Scholar 

  11. Buszkowski, W., ‘Generative capacity of nonassociative Lambek calculus’, Bulletin of Polish Academy of Sciences. Math. 34 (1986), 507-516.

    Google Scholar 

  12. Buszkowski, W., ‘Generative power of categorial grammars’, in: D. Wheeler (eds.), Categorial Grammars and Natural Language Structures, D. Reidel, Dordrecht, 1988 [69], 69-94.

    Google Scholar 

  13. Buszkowski, W., ‘The finite model property for BCI and related systems’, Studia Logica 57 (1996), 303-323.

    Google Scholar 

  14. Buszkowski, W., ‘Algebraic structures in categorial grammar’, Theoretical Computer Science 199 (1998), 5-24.

    Google Scholar 

  15. Buszkowski, W., and M. Kołowska-Gawiejnowicz, ‘Representation of residuated semigroups in some algebras of relations (The method of canonical models)’, Fundamenta Informaticae 31 (1997), 1-12.

    Google Scholar 

  16. Carpenter, B., Type-logical Semantics. MIT Press, Cambridge, MA, 1996.

    Google Scholar 

  17. Casadio, C., ‘Unbounded dependencies in noncommutative linear logic’, in: V. M. Abrusci and C. Casadio (eds.), Dynamic Perspectives in Logic and Linguistics, Papers in Formal Linguistics and Logic, Bulzoni Editors, University of Bologna, 1999, 23-35.

  18. Cohen, J. M., ‘The equivalence of two concepts of categorial grammar’, Information and Control 10 (1967), 475-484.

    Google Scholar 

  19. Došen, K., ‘A completeness theorem for the Lambek calculus of syntactic categories’, Zeitschrift für mathematische Logik und Grundlagen der Mathematik 31 (1985), 235-241.

    Google Scholar 

  20. Došen, K., ‘Sequent systems and groupoid models I’, Studia Logica 47 (1988), 353-385.

    Google Scholar 

  21. Došen, K., ‘Sequent systems and groupoid models II’, Studia Logica 48 (1989), 41-65.

    Google Scholar 

  22. Došen, K., ‘A brief survey of frames for the Lambek calculus’, Zeitschrift für mathematische Logik und Grundlagen der Mathematik 38 (1992), 179-187.

    Google Scholar 

  23. Došen, K., and P. Schroeder-Heister (eds.), Substructural Logics, Clarendon Press, Oxford, 1993.

    Google Scholar 

  24. Gabbay, D., Labelled Deductive Systems I, CIS Munich, 1990.

  25. Gabbay, D., Labelled Deductive Systems, Oxford University Press, Oxford, 1996.

    Google Scholar 

  26. Girard, J. Y., ‘Linear logic’, Theoretical Computer Science 50 (1987), 1-102.

    Google Scholar 

  27. Hendriks, H., Studied flexibility. Categories and types in syntax and semantics, Ph.D. Thesis, ILLC, University of Amsterdam, 1993.

  28. Hoare, C. A. R., and H. Jifeng, ‘The weakest prespecification’, Fundamenta Informaticae 9 (1986), 51-84, 217–252.

    Google Scholar 

  29. Kandulski, M., ‘The equivalence of nonassociative Lambek categorial grammars and context-free grammars’, Zeitschrift für mathematische Logik und Grundlagen der Mathematik 34 (1988), 41-52.

    Google Scholar 

  30. Kandulski, M., ‘Phrase-structure languages generated by categorial grammars with product’, Zeitschrift für mathematische Logik und Grundlagen der Mathematik 34 (1988), 373-383.

    Google Scholar 

  31. Kandulski, M., ‘Normal form of derivations in the nonassociative and commutative Lambek syntactic calculus with product’, Mathematical Logic Quarterly 39 (1993), 103-114.

    Google Scholar 

  32. Kandulski, M., ‘On commutative and nonassociative syntactic calculi and categorial grammars’, Mathematical Logic Quarterly 41 (1995), 217-235.

    Google Scholar 

  33. Kandulski, M., ‘On generalized Ajdukiewicz and Lambek calculi and grammars’, Fundamenta Informaticae 30 (1997), 169-181.

    Google Scholar 

  34. Kandulski, M., ‘Strong equivalence of generalized Ajdukiewicz and Lambek calculi and grammars’, in: A. Lecomte, F. Lamarche and G. Perrier (eds.), Logical Aspects of Computational Linguistics, Lecture Notes in Artificial Intelligence 1582, Springer, Berlin, 1999, 54-69.

    Google Scholar 

  35. Kołowska-Gawiejnowicz, M., ‘Powerset residuated algebras and Generalized Lambek Calculus’, Mathematical Logic Quarterly 43 (1997), 60-72.

    Google Scholar 

  36. Kołowska-Gawiejnowicz, M., ‘A labelled deductive system for relational semantics of the Lambek calculus’, Mathematical Logic Quarterly 45 (1999), 51-58.

    Google Scholar 

  37. Kurtonina, N., Frames and Labels. A modal analysis of categorial inference, Ph.D. Thesis, University of Utrecht, 1995.

  38. Kurtonina, N., and M. Moortgat, ‘Structural control’, in: P. Blackburn and M. de Rijke (eds.) Specifying Syntactic Structures, CSLI, Stanford, 1997, 75-113.

    Google Scholar 

  39. Lamarche, F., and C. Retoré, ‘Proof nets for the Lambek calculus — an overview’, in: V. M. Abrusci and C. Casadio (eds.), Proofs and Linguistic Categories, University of Bologna, 1996, 241-262.

  40. Lambek, J., ‘The mathematics of sentence structure’, American Mathematical Monthly 65 (1958), 154-170.

    Google Scholar 

  41. Lambek, J., ‘On the calculus of syntactic types’, in: R. Jakobson (ed.), Structure of Language and Its Mathematical Aspects, Proc. Symp. Appl. Math., AMS, Providence, 1961, 166-178.

    Google Scholar 

  42. Lambek, J., ‘How to program an infinite abacus’, Canadian Mathematical Bulletin 4 (1961), 295-302.

    Google Scholar 

  43. Lambek, J., Lectures on rings and modules, Blaisdell, Waltham Mass., 1966.

    Google Scholar 

  44. Lambek, J., Completions of Categories, Lecture Notes in Mathematics 24, Springer, Heidelberg, 1966.

    Google Scholar 

  45. Lambek, J., ‘Deductive systems and categories I’, Journal of Math. Systems Theory 2 (1968), 287-318.

    Google Scholar 

  46. Lambek, J., ‘Deductive systems and categories II’, Lecture Notes in Mathematics 86 (1969), 76-122.

  47. Lambek, J., ‘Deductive systems and categories III’, Lecture Notes in Mathematics 274 (1972), 57-82.

  48. Lambek, J., ‘Contributions to a mathematical analysis of the English verb-phrase’, Journal of Canadian Linguistic Association 5 (1959), 83-89.

    Google Scholar 

  49. Lambek, J., ‘A mathematician looks at French conjugation’, Theoretical Linguistics 2 (1975), 203-214.

    Google Scholar 

  50. Lambek, J., ‘A mathematician looks at Latin conjugation’, Theoretical Linguistics 6 (1979), 221-234.

    Google Scholar 

  51. Lambek, J., ‘A production grammar for English kinship terminology’, Theoretical Linguistics 14 (1986), 19-36.

    Google Scholar 

  52. Lambek, J., ‘Multicategories revisited’, Contemporary Mathematics 92 (1989), 217-239.

    Google Scholar 

  53. Lambek, J., ‘Logic without structural rules’, in [23], 179-206.

    Google Scholar 

  54. Lambek, J., ‘From categorial grammar to bilinear logic’, in [23], 207-237.

    Google Scholar 

  55. Lambek, J., ‘Some lattice models of bilinear logic’, Algebra Universalis 34 (1995), 514-550.

    Google Scholar 

  56. Lambek, J., ‘Type grammars revisited’, in: A. Lecomte, F. Lamarche and G. Perrier (eds.), Logical Aspects of Computational Linguistics, Lecture Notes in Artificial Intelligence 1582, Springer, Berlin, 1999, 1-27.

    Google Scholar 

  57. Lambek, J., ‘Relations old and new’, in: E. Orłowska and A. Szałas (eds.), Relational Methods for Computer Science Applications, Physica Verlag, Heidelberg, 2001, 135-147.

    Google Scholar 

  58. Lambek, J., and M. Lambek, ‘The kinship terminology of Malagasy speakers in Mayotte’, Anthropological Linguistics 23 (1981), 154-182.

    Google Scholar 

  59. Lambek, J., and P. J. Scott, Introduction to Higher Order Categorical Logic, Cambridge University Press, Cambridge, 1986.

    Google Scholar 

  60. Lambek, J., ‘Categorial and categorical grammars’, in D. Wheeler (eds.), Categorial Grammars and Natural Language Structures, D. Reidel, Dordrecht, 1988 [69], 297-317.

    Google Scholar 

  61. Leśniewski, S., Grundzüge eines neuen System der Grundlagen der Mathematik, Fundamenta Mathematicae 14 (1929), 1-81.

    Google Scholar 

  62. Meyer, R. K., and H. Ono, ‘The finite model property for BCK and BCIW’, Studia Logica 53 (1994), 107-118.

    Google Scholar 

  63. Moortgat, M., Categorial Investigations. Logical and Linguistic Aspects of the Lambek Calculus., Foris, Dordrecht, 1988.

    Google Scholar 

  64. Moortgat, M., ‘Mutimodal linguistic inference’, Bulletin of IGPL 3 (1975), 371-401.

    Google Scholar 

  65. Moortgat, M., ‘Categorial Type Logics’, in: J. van Benthem and A. ter Meulen (eds.) Handbook of Logic and Language, Elsevier, Amsterdam, 1997, 93-177.

    Google Scholar 

  66. Morrill, G., Type Logical Grammar. Categorial Logic of Signs, Kluwer, Dordrecht, 1994.

    Google Scholar 

  67. Morrill, G., ‘Discontinuity in categorial grammar’, Linguistics and Philosophy 18 (1995), 175-219.

    Google Scholar 

  68. Muskens, R., Meaning and Partiality, Ph.D. Thesis, University of Amsterdam, 1989.

  69. Oehrle, R. T., E. Bach and D. Wheeler (eds.), Categorial Grammars and Natural Language Structures, D. Reidel, Dordrecht, 1988.

    Google Scholar 

  70. Ono, H., ‘Semantics for substructural logics’, in: [23], 259-291.

    Google Scholar 

  71. Ono, H., and Y. Komori, ‘Logics without the contraction rule’, Journal of Symbolic Logic 50 (1985), 169-201.

    Google Scholar 

  72. Orłowska, E., ‘Relational proof system for relevant logic’, Journal of Symbolic Logic 57 (1992), 1425-1440.

    Google Scholar 

  73. Pentus, M., ‘Lambek grammars are context-free’, Proc. 8th IEEE Symposium on Logic in Computer Science, 1993, 429-433.

  74. Pentus, M., ‘Models for the Lambek calculus’, Annals of Pure and Applied Logic 75 (1995), 179-213.

    Google Scholar 

  75. Retoré, C., ‘Calcul de Lambek et logique linéaire’, Traitement Automatique des Langues 37 (1997), 39-70.

    Google Scholar 

  76. Roorda, D., Resource Logics: Proof-Theoretical Investigations, Ph.D. Thesis, University of Amsterdam, 1991.

  77. Steedman, M., ‘Combinators and grammars’, in: D. Wheeler (eds.), Categorial Grammars and Natural Language Structures, D. Reidel, Dordrecht, 1988 [69], 417-442.

    Google Scholar 

  78. Steedman, M., ‘Categorial grammar’, Lingua 90 (1993), 221-258.

    Google Scholar 

  79. Steedman, M., The Syntactic Process, MIT Press, Cambridge, MA, 2000.

    Google Scholar 

  80. Szczerba, M., ‘Representation theorems for residuated groupoids’, in: C. Retoré (ed.), Logical Aspects of Computational Linguistics, Lecture Notes in Artificial Intelligence 1328, Springer, Berlin, 1997, 426-434.

    Google Scholar 

  81. Tiede, H.-J., Deductive systems and grammars, Ph.D. Dissertation, Indiana University, 1999.

  82. van Benthem, J., Essays in Logical Semantics, D. Reidel, Dordrecht, 1986.

    Google Scholar 

  83. van Benthem, J., Language in Action. Categories, Lambdas and Dynamic Logic, Studies in Logic and Foundations of Mathematics, North Holland, Amsterdam, 1991.

    Google Scholar 

  84. van Benthem, J., Exploring Logical Dynamics, Studies in Logic, Language and Information, CSLI, Stanford, 1996.

    Google Scholar 

  85. van Benthem, J., and A. ter Meulen (eds.), Handbook of Logic and Language, Elsevier, Amsterdam, The MIT Press, Cambridge Mass., 1997.

    Google Scholar 

  86. Yetter, D.N., ‘Quantales and (non-commutative) linear logic’, Journal of Symbolic Logic 55 (1996), 41-64.

    Google Scholar 

  87. Zielonka, W., ‘A direct proof of the equivalence of free categorial grammars and simple phrase structure grammars’, Studia Logica 37 (1978), 44-58.

    Google Scholar 

  88. Zielonka, W., ‘Axiomatizability of Ajdukiewicz-Lambek calculus by means of cancellation schemes’, Zeitschrift für mathematische Logik und Grundlagen der Mathematik 27 (1981), 215-224.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Faculty of Mathematics and Computer Science, Adam Mickiewicz University, ul. Matejki 48/49, 60–769, Poznań, Poland

    Wojciech Buszkowski

  2. Utrecht Institute of Linguistics OTS, Utrecht University, Trans 10, 3512 JK, Utrecht, The Netherlands

    Michael Moortgat

Authors
  1. Wojciech Buszkowski
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Michael Moortgat
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Buszkowski, W., Moortgat, M. Editorial Introduction. Studia Logica 71, 261–275 (2002). https://doi.org/10.1023/A:1020555012290

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1020555012290

Search

Navigation