Skip to main content
SpringerLink
Log in

Classical Conservative Extensions of Lambek Calculus

  • 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., ‘A comparison between Lambek Syntactic Calculus and Intuitionistic Linear Propositional Logic’, Zeitschrift f. math. Logik und Grundlagen d. Math. 36 (1990), 11-15.

    Google Scholar 

  2. Abrusci, V. M., ‘Non-commutative Intuitionistic Linear Logic’, Zeitschrift f. math. Logik und Grundlagen d. Math. 36 (1990), 297-318.

    Google Scholar 

  3. Abrusci, V. M., ‘Sequent calculus and phase semantics for pure noncommutative classical propositional logic’, Journal of Symbolic Logic, 56 (1991).

  4. Abrusci, V. M., ‘Considerazioni sulle leggi della (doppia) negazione nella logica lineare non-commutativa’, in Logica e Filosofia della Scienza: problemi e prospettive, Cellucci, Di Maio, Roncaglia (eds.), ETS, Pisa, 1994, pp. 619-628

    Google Scholar 

  5. Abrusci, V. M., ‘Lambek Calculus, Cyclic Multiplicative-Additive Linear Logic, Noncommutative Multiplicative-Additive Linear Logic: language and sequent calculus'.

  6. Abrusci, V. M., and P. Ruet, ‘Non-commutative logic, I: the multiplicative fragment’, Annals of Pure and Applied Logic 101 (2000), 29-64.

    Google Scholar 

  7. Girard, J.-Y., ‘Linear Logic’, Theor. Comput. Sci., 50 (1987), 1-102.

    Google Scholar 

  8. Lamarche, F., ‘Games semantics for full propositional linear logic’, LICS'95, 464-473

  9. Lambek, J., ‘The mathematics of sentence structure’, American Math. Monthly, 65 (1958), 154-169.

    Google Scholar 

  10. Lambek, J., ‘Bilinear Logic in algebra and linguistics’, in Advances in Linear Logic, Girard, Lafont, Regnier (eds.), LMSLNS 222, Cambridge University press, 1995.

  11. Ruet, P., ‘Non-commutative Logic, II: sequent calculus and phase semantics’, Math. Struct. in Comp. Sciences, 10 (2000), 277-312.

    Google Scholar 

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

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Filosofia, Università Roma Tre, via Magenta 5, 00185, Roma, Italy

    V. Michele Abrusci

Authors
  1. V. Michele Abrusci
    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

Abrusci, V.M. Classical Conservative Extensions of Lambek Calculus. Studia Logica 71, 277–314 (2002). https://doi.org/10.1023/A:1020560613199

Download citation

  • Issue Date:

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

Keywords

Search

Navigation