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.
Similar content being viewed by others
References
Szabo, M.E.: Collected works of Gehrard Gentzen. Amsterdam: North-Holland 1969
Girard, J.Y.: Linear logic. Theoretical Computer Science50 (1987)
Girard, J.Y.: Multiplicatives. To appear in the Proceedings of the Congress of Logic and Computer Science held in Torino, October 1986
Girard, J.Y.: Towards a geometry of interaction. To appear in the acts of AMS conference on categories, Boulder, June 1987
Girard, J.Y.: Quantifiers in linear logic. To appear in the Proceedings of the SILFS conference, held in Cesena, January 1987
Danos, V.: Correctness of proof-nets. Draft, université de Paris VII, March 1988
Van de Wiele, J.: Jeux en Logique Linéaire. Draft, Université de Paris VII, November 1988
Author information
Authors and Affiliations
Rights 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
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01622878