Skip to main content
SpringerLink
Log in

Linear axiomatics of commutative product-free Lambek calculus

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

Axiomatics which do not employ rules of inference other than the cut rule are given for commutative product-free Lambek calculus in two variants: with and without the empty string. Unlike the former variant, the latter one turns out not to be finitely axiomatizable in that way.

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. J. van Benthem, The semantics of variety in categorial grammar, In: W. Buszkowski, W. Marciszewski, J. van Benthem (eds.), Categorial Grammar, J. Benjamins, Amsterdam-Philadelphia 1988.

    Google Scholar 

  2. W. Buszkowski, The logic of types, In: J. Srzednicki (ed.), Initiatives in Logic, M. Nijhoff, Amsterdam 1987.

    Google Scholar 

  3. G. Gentzen, Untersuchungen ueber das logische Schliessen, Mathematische Zeitschrift 39 (1935), pp. 176–210, 405–431.

    Google Scholar 

  4. M. Kàndulski, The non-associative Lambek calculus, In: W. Buszkowski, W. Marciszewski, J. van Benthem (eds.), Categorial Grammar, J. Benjamins, Amsterdam 1988.

    Google Scholar 

  5. J. Lambek, The mathematics of sentence structure, American Mathematical Monthly 65 (1958), pp. 154–170.

    Google Scholar 

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

    Google Scholar 

  7. W. Zielonka, Cut-rule axiomatization of product-free Lambek calculus with the empty string, Zeitschrift für mathematische Logik und Grundlagen der Mathematik 34 (1988), pp. 135–142.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Mathematics, Adam Mickiewicz University, Matejki 48/49, Pozna/'n, Poland

    Wojciech Zielonka

Authors
  1. Wojciech Zielonka
    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

Zielonka, W. Linear axiomatics of commutative product-free Lambek calculus. Studia Logica 49, 515–522 (1990). https://doi.org/10.1007/BF00370162

Download citation

  • Received:

  • Issue Date:

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

Keywords

Search

Navigation