Skip to main content
SpringerLink
Log in

Game Semantics for the Lambek-Calculus: Capturing Directionality and the Absence of Structural Rules

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

In this paper, we propose a game semantics for the (associative) Lambek calculus. Compared to the implicational fragment of intuitionistic propositional calculus, the semantics deals with two features of the logic: absence of structural rules, as well as directionality of implication. We investigate the impact of these variations of the logic on its game semantics.

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. Blass, Andreas, ‘Is game semantics necessary?’ in Egon Börger, Yuri Gurevitch, and Karl Meinke (eds.), 7th workshop on Computer Science Logic (CSL’03), volume LNCS 832, Springer Verlag, 1993, pp. 66–77.

  2. Hindley, J. Roger, Basic simple Type Theory, Cambridge University Press, 1997.

  3. Lambek Joachim: ‘The mathematics of sentence structure’. Amer. Math. monthly 65, 154–170 (1958)

    Article  Google Scholar 

  4. Moortgat, Michael, ‘Categorial type logics’, in Johan van Benthem and Alice ter Meulen (eds.), Handbook of Logic and Language, North Holland, 1997, pp. 93–178.

  5. Sorensen, Morten Heine, and Pawel Urzyczyn, Lectures on the Curry-Howard Isomorphism, Elsevier Science, 2006. Studies in Logic and the foundations of Mathematics.

  6. Wansing, Heinrich, The Logic of Information Structures, Springer Verlag, LNAI 681, 1993.

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Technion-Israel Institute of Technology, Haifa, 32000, Israel

    Sharon Shoham & Nissim Francez

Authors
  1. Sharon Shoham
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Nissim Francez
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Sharon Shoham.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Shoham, S., Francez, N. Game Semantics for the Lambek-Calculus: Capturing Directionality and the Absence of Structural Rules. Stud Logica 90, 161–188 (2008). https://doi.org/10.1007/s11225-008-9148-z

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11225-008-9148-z

Keywords

Search

Navigation