Skip to main content
SpringerLink
Log in

Lambek calculus with restricted contraction and expansion

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

This paper deals with some strengthenings of the non-directional product-free Lambek calculus by means of additional structural rules. In fact, the rules contraction and expansion are restricted to basic types. For each of the presented systems the usual proof-theoretic notions are discussed, some new concepts especially designed for these calculi are introduced reflecting their intermediate position between the weaker and the stronger sequent-systems.

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

Similar content being viewed by others

References

  1. H. Barendregt, The Lambda Calculus. Its Syntax and Semantics, North-Holland, 1981.

  2. J. van Benthem, The Lambek Calculus, in R. Oehrle et al., eds.,1988.

  3. A. Church, A formulation of the simple theory of types, Journal of Symbolic Logic 5, 1940, pp. 56–68.

    Google Scholar 

  4. K. Došen, Sequent-systems and grupoid models. I, Studia Logica XLVII, 4, 1988, pp. 353–385.

    Google Scholar 

  5. J. M. Dunn, Relevance logic and entailement, in HPL, vol. III., Gabbay & Guenthner (eds.), Reidel, Dordrecht, 1986.

    Google Scholar 

  6. G. Gentzen, Untersuchungen Über das logische Schliessen, Math. Zeitschrift 39, 1934, pp. 176–210 and pp. 405–431. English translation in: The collected Papers of Gerhard Gentzen, North-Holland, Amsterdam, 1969.

    Google Scholar 

  7. J. Groenendijk and M. Stokhof, Dynamic Montague Grammar, ITLI, Prepublication Series, Amsterdam, 1989.

  8. S. C. Kleene, Introduction to Metamatematics, D. van Nostrand, New York, Toronto, 1952.

    Google Scholar 

  9. S. Kripke, The problem of entailement, Journal of Symbolic Logic 24, 1959, p. 324.

    Google Scholar 

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

    Google Scholar 

  11. A. Prijatelj, Intensional Lambek Calculi: Theory and Application, ITLI, Prepublication Series, Amsterdam, 1989.

  12. H. Schwichtenberg, Some applications of Cut Elimination, in HML, Jon Barwise (ed), North-Holland, Amsterdam, New York, Oxford, 1977.

    Google Scholar 

  13. R. H. Thomason (ed.), Formal Philosophy, Selected Papers of R. Montague, Yale, New Haven, London, 1975.

    Google Scholar 

  14. H. Wansing, Relevant Quasi-Deductions, Weak Implicational Logics, and Operational Semantics, erscheint in Schriftenreihe der Joachim Jungius Gesellschaft, Hamburg, 1989.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Physics and Mechanics Department of Mathematics, University of Ljubljana Institute of Mathematics, Jadranska 19, 61 111, Ljubljana, Slovenia

    Andreja Prijatelj

Authors
  1. Andreja Prijatelj
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

This work was supported by the Research Council of Slovenija

Rights and permissions

Reprints and permissions

About this article

Cite this article

Prijatelj, A. Lambek calculus with restricted contraction and expansion. Studia Logica 51, 125–143 (1992). https://doi.org/10.1007/BF00370335

Download citation

  • Received:

  • Revised:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF00370335

Keywords

Search

Navigation