Advertisement

Archive for Mathematical Logic

, Volume 28, Issue 3, pp 181–203 | Cite as

The structure of multiplicatives

  • Vincent Danos
  • Laurent Regnier
Article

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.

Keywords

Mathematical Logic Large Scale Study Detailed Answer 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [Gentzen 69]
    Szabo, M.E.: Collected works of Gehrard Gentzen. Amsterdam: North-Holland 1969Google Scholar
  2. [Gir 87]
    Girard, J.Y.: Linear logic. Theoretical Computer Science50 (1987)Google Scholar
  3. [Gir 87b]
    Girard, J.Y.: Multiplicatives. To appear in the Proceedings of the Congress of Logic and Computer Science held in Torino, October 1986Google Scholar
  4. [Gir 88]
    Girard, J.Y.: Towards a geometry of interaction. To appear in the acts of AMS conference on categories, Boulder, June 1987Google Scholar
  5. [Gir 88b]
    Girard, J.Y.: Quantifiers in linear logic. To appear in the Proceedings of the SILFS conference, held in Cesena, January 1987Google Scholar
  6. [Da 88]
    Danos, V.: Correctness of proof-nets. Draft, université de Paris VII, March 1988Google Scholar
  7. [VdW 88]
    Van de Wiele, J.: Jeux en Logique Linéaire. Draft, Université de Paris VII, November 1988Google Scholar

Copyright information

© Springer-Verlag 1989

Authors and Affiliations

  • Vincent Danos
    • 1
  • Laurent Regnier
    • 1
  1. 1.Equipe de Logique, CNRS UA 753UFR de Mathématiques et d'Informatique de Paris VIIParis Cedex 05France

Personalised recommendations