Skip to main content
Log in

Abstract

Investigating Girard's new propositionnal calculus which aims at a large scale study of computation, we stumble quickly on that question: What is a multiplicative connective? We give here a detailed answer together with our motivations and expectations.

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

Access this article

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

Instant access to the full article PDF.

Institutional subscriptions

References

  1. Szabo, M.E.: Collected works of Gehrard Gentzen. Amsterdam: North-Holland 1969

    Google Scholar 

  2. Girard, J.Y.: Linear logic. Theoretical Computer Science50 (1987)

  3. Girard, J.Y.: Multiplicatives. To appear in the Proceedings of the Congress of Logic and Computer Science held in Torino, October 1986

  4. Girard, J.Y.: Towards a geometry of interaction. To appear in the acts of AMS conference on categories, Boulder, June 1987

  5. Girard, J.Y.: Quantifiers in linear logic. To appear in the Proceedings of the SILFS conference, held in Cesena, January 1987

  6. Danos, V.: Correctness of proof-nets. Draft, université de Paris VII, March 1988

    Google Scholar 

  7. Van de Wiele, J.: Jeux en Logique Linéaire. Draft, Université de Paris VII, November 1988

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and permissions

About this article

Cite this article

Danos, V., Regnier, L. The structure of multiplicatives. Arch Math Logic 28, 181–203 (1989). https://doi.org/10.1007/BF01622878

Download citation

  • Received:

  • Revised:

  • Issue Date:

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

Keywords

Navigation