Hostname: page-component-7f64f4797f-n5rmq Total loading time: 0 Render date: 2025-11-03T23:50:50.992Z Has data issue: false hasContentIssue false
  • English
  • Français

A new constructive logic: classic logic

Published online by Cambridge University Press:  04 March 2009

Jean-Yves Girard
Jean-Yves Girard
Affiliation:
Équipe de logique, UA 753 du CNRS Mathématiques, Université Paris VII, t.4555, 5° étage, 2, Place Jussieu 72521 Paris cedex 05, France
Get access Rights & Permissions [Opens in a new window]

Extract

There are two ways to present this work; the most efficient is of course to start with the main syntactical definitions, and to end with semantics: this is the presentation that we follow in the body of the text: section 1, syntex; section 2, semantics. Another possibility is to follow the order of discovery of the concepts, which (as expected) starts with the semantics and ends with the syntex; we adopt this second way for our introduction, hoping that this orthogonal look at the same object will help to apprehend the concepts.

Information

Type
Research Article
Information
Mathematical Structures in Computer Science , Volume 1 , Issue 3 , November 1991 , pp. 255 - 296
Copyright
Copyright © Cambridge University Press 1991

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

Article purchase

Temporarily unavailable

References

Andréoli, J.-M. and Pareschi, R. (1991) Linear objects: logical proceses with built-in inheritence. To appear in new generation Computing.Google Scholar
Girard, J.-Y. (1986) The system F of variable types, 15 years later, Theoret. comput. sci. 45.2 159–192.Google Scholar
Girard, J.-Y. (1987) Linear Logic. Theret, Comput. Sci. 50.1 1–101.Google Scholar
Girard, J.-Y. (1991) On the unity of logic. Submitted to the proceedings of ALC ‘90, APAL.Google Scholar
Girard, J.-Y., Lafont, Y. and Taylor, P. (1989) Proofs and types. Cambridge tracts in Theoretical Computer Science 7.Google Scholar
Lafont, Y. (1988) The linear abstract machine. Therot. Comput. Sci. 59.Google Scholar
Lambek, J. and Scott, P. J. (1986) An introduction to higher order categorical logic. Studies in Advanced mathematics 7, Cambridge University Press.Google Scholar