Jean-Yves Girard (girard-jy)

Cited in the following articles

Contributions to Philosophie.ch

Bibliography

Ehrhardt, Thomas, Girard, Jean-Yves, Ruet, Paul and Scott, Philip, eds. 2010. Linear Logic in Computer Science. Cambridge: Cambridge University Press.
Girard, Jean-Yves. 1971. “Une extension de l’interprétation de Gödel à l’analyse, et son application à l’élimination des coupures dans l’analyse et la théorie des types.” in Proceedings of the 2nd Scandinavian Logic Symposion, edited by Jens Erik Fenstad, pp. 63–92. Studies in Logic and the Foundations of Mathematics n. 63. Amsterdam: North-Holland Publishing Co.
Girard, Jean-Yves. 1976. Three-Valued Logic and Cut-Elimination: The Actual Meaning of Takeuti’s Conjecture. Warszawa: Państwow Wydawnictwo Naukowe (PWN).
Girard, Jean-Yves. 1977. “Functional Interpretation and Kripke Models.” in Logic, Foundations of Mathematics, and Computability Theory. Part One of the Proceedings of the Fifth International Congress of Logic, Methodology and Philosophy of Science, London, Ontario, Canada, 1975, edited by Robert E. Butts and Jaakko Hintikka, pp. 33–58. The University of Western Ontario Series in Philosophy of Science n. 9. Dordrecht: D. Reidel Publishing Co.
Girard, Jean-Yves. 1982. “A Survey of ??-Logic.” in Logic, Methodology, and Philosophy of Science VI: Proceedings of the Sixth International Congress of Logic, Methodology, and Philosophy of Science, Hannover, 1979, edited by Laurence Jonathan Cohen, Jerzy Łoś, Helmut Pfeiffer, and Klaus-Peter Podewski, pp. 89–107. Studies in Logic and the Foundations of Mathematics n. 104. Amsterdam: North-Holland Publishing Co.
Girard, Jean-Yves. 1987a. Proof Theory and Logical Complexity. Napoli: Bibliopolis.
Girard, Jean-Yves. 1987b. Proofs and Types. Cambridge Tracts in Theoretical Computer Science n. 7. Cambridge: Cambridge University Press. Translated and with appendices by Paul Taylor and Yves Lafont. .
Girard, Jean-Yves. 1989. “Le champ du signe ou la faillite du réductionnisme.” in Le théorème de Gödel, edited by Jean-Baptiste Scherrer, pp. 147–171. Paris: Éditions du Seuil. Traduction de Gödel (1931) par Jean-Baptiste Scherrer.
Girard, Jean-Yves. 2012. “Normativity in Logic.” in Epistemology versus Ontology. Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf, edited by Peter Dybjer, Sten Lindström, Erik Palmgren, and Göran Sundholm, pp. 243–264. Logic, Epistemology, and the Unity of Science n. 27. Dordrecht: Springer.

Further References

Gödel, Kurt. 1931. “Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I.” Monatshefte für Mathematik und Physik 38: 173–198. English translation in van Heijenoort (1967, 596–616); reprinted in Gödel (1986, 145–195), doi:10.1007/BF01700692.
Gödel, Kurt. 1986. Collected Works. Volume I: Publications 1929–1936. Oxford: Oxford University Press. Edited by Solomon Feferman, John W. Dawson, Jr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay and Jean van Heijenoort, doi:10.1093/oso/9780195147209.001.0001.
van Heijenoort, Jan, ed. 1967. From Frege to Gödel: A Source Book in Mathematical Logic 1879-1931. Cambridge, Massachusetts: Harvard University Press.