Girard, Jean-Yves Transcendental syntax iv: logic without systems. (English) Zbl 07370016 Nigam, Vivek (ed.) et al., Logic, language, and security. Essays dedicated to Andre Scedrov on the occasion of his 65th birthday. Cham: Springer. Lect. Notes Comput. Sci. 12300, 17-36 (2020). MSC: 03-XX PDFBibTeX XMLCite \textit{J.-Y. Girard}, Lect. Notes Comput. Sci. 12300, 17--36 (2020; Zbl 07370016) Full Text: DOI
Girard, Jean-Yves Transcendental syntax. I: Deterministic case. (English) Zbl 1423.03248 Math. Struct. Comput. Sci. 27, No. 5, 827-849 (2017). MSC: 03F52 03F03 03F07 03F50 PDFBibTeX XMLCite \textit{J.-Y. Girard}, Math. Struct. Comput. Sci. 27, No. 5, 827--849 (2017; Zbl 1423.03248) Full Text: DOI
Girard, Jean-Yves Three lightings of logic (invited talk). (English) Zbl 1356.03015 Ronchi della Rocca, Simona (ed.), Computer science logic 2013. Selected papers of the 27th CSL workshop and 22nd annual conference of the European Association for Computer Science Logic (EACSL), Torino, Italy, September 2–5, 2013. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-60-6). LIPIcs – Leibniz International Proceedings in Informatics 23, 11-23 (2013). MSC: 03A05 03F03 PDFBibTeX XMLCite \textit{J.-Y. Girard}, LIPIcs -- Leibniz Int. Proc. Inform. 23, 11--23 (2013; Zbl 1356.03015) Full Text: DOI
Girard, Jean-Yves Normativity in logic. (English) Zbl 1314.03051 Dybjer, Peter (ed.) et al., Epistemology versus ontology. Essays on the philosophy and foundations of mathematics in honour of Per Martin-Löf. Based on the conference, “Philosophy and foundations of mathematics: Epistemological and ontological aspects”, Uppsala, Sweden, May 5–8, 2009. Dordrecht: Springer (ISBN 978-94-007-4434-9/hbk; 978-94-007-4435-6/ebook). Logic, Epistemology, and the Unity of Science 27, 243-263 (2012). MSC: 03F50 03B40 03D15 03F52 03H15 46L10 PDFBibTeX XMLCite \textit{J.-Y. Girard}, Log. Epistemol. Unity Sci. 27, 243--263 (2012; Zbl 1314.03051) Full Text: DOI
Girard, Jean-Yves The blind spot. Lectures on logic. (English) Zbl 1238.03045 Zürich: European Mathematical Society (EMS) (ISBN 978-3-03719-088-3/hbk). xiii, 537 p. (2011). Reviewer: Esfandiar Haghverdi (Bloomington) MSC: 03Fxx 03-02 03-03 03A05 03B10 03B15 03B47 03B70 03F03 03F05 03F07 03F52 03G30 18C50 18D15 PDFBibTeX XMLCite \textit{J.-Y. Girard}, The blind spot. Lectures on logic. Zürich: European Mathematical Society (EMS) (2011; Zbl 1238.03045) Full Text: DOI
Girard, Jean-Yves Geometry of interaction. V: Logic in the hyperfinite factor. (English) Zbl 1230.03093 Theor. Comput. Sci. 412, No. 20, 1860-1883 (2011). MSC: 03F52 03F05 PDFBibTeX XMLCite \textit{J.-Y. Girard}, Theor. Comput. Sci. 412, No. 20, 1860--1883 (2011; Zbl 1230.03093) Full Text: DOI
Girard, Jean-Yves The blind spot. Course on logic. II. On the imperfection. (Le point aveugle. Cours de logique. II. Vers l’imperfection.) (French) Zbl 1243.00004 Visions des Sciences. Paris: Hermann, Éditeurs des Sciences et des Arts (ISBN 978-2-7056-6634-7). xii, 281-567. (2007). MSC: 00A30 03A05 03A10 PDFBibTeX XMLCite \textit{J.-Y. Girard}, Le point aveugle. Cours de logique. II. Vers l'imperfection. Paris: Hermann, Éditeurs des Sciences et des Arts (2007; Zbl 1243.00004)
Girard, Jean-Yves Truth, modality and intersubjectivity. (English) Zbl 1146.03003 Math. Struct. Comput. Sci. 17, No. 6, 1153-1167 (2007). Reviewer: Albert A. Mullin (Madison) MSC: 03A05 03B45 68T01 81P10 81P68 91D10 PDFBibTeX XMLCite \textit{J.-Y. Girard}, Math. Struct. Comput. Sci. 17, No. 6, 1153--1167 (2007; Zbl 1146.03003) Full Text: DOI
Girard, Jean-Yves The blind spot. Course in logic. I. On the perfection. (Le point aveugle. Cours de logique. I. Vers la perfection.) (French) Zbl 1243.00003 Visions des Sciences. Paris: Hermann, Éditeurs des Sciences et des Arts (ISBN 978-2-7056-6633-8). xvi, 280 p. (2006). MSC: 00A30 03A05 03A10 PDFBibTeX XMLCite \textit{J.-Y. Girard}, Le point aveugle. Cours de logique. I. Vers la perfection. Paris: Hermann, Éditeurs des Sciences et des Arts (2006; Zbl 1243.00003)
Girard, Jean-Yves Geometry of interaction. IV: The feedback equation. (English) Zbl 1105.03064 Stoltenberg-Hansen, Viggo (ed.) et al., Logic colloquium ’03. Proceedings of the annual European summer meeting of the Association for Symbolic Logic (ASL), Helsinki, Finland, August 14–20, 2003. Wellesley, MA: A K Peters; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 1-56881-293-0/hbk; 1-56881-294-9/pbk). Lecture Notes in Logic 24, 76-117 (2006). MSC: 03F52 03B70 03F05 46L99 PDFBibTeX XMLCite \textit{J.-Y. Girard}, Lect. Notes Log. 24, 76--117 (2006; Zbl 1105.03064)
Girard, Jean-Yves Between logic and quantic: a tract. (English) Zbl 1073.03036 Ehrhard, Thomas (ed.) et al., Linear logic in computer science. Based on the Azores summer school on linear logic and computer science, St. Miguel, Azores, Portugal, August 30–September 7, 2000. Cambridge: Cambridge University Press (ISBN 0-521-60857-0/pbk). London Mathematical Society Lecture Note Series 316, 346-381 (2004). Reviewer: Vladik Ya. Kreinovich (El Paso) MSC: 03F52 81P10 03G12 PDFBibTeX XMLCite \textit{J.-Y. Girard}, Lond. Math. Soc. Lect. Note Ser. 316, 346--381 (2004; Zbl 1073.03036)
Girard, Jean-Yves From foundations to ludics. (English) Zbl 1056.03035 Bull. Symb. Log. 9, No. 2, 131-168 (2003). MSC: 03F07 03F52 03A05 03B22 PDFBibTeX XMLCite \textit{J.-Y. Girard}, Bull. Symb. Log. 9, No. 2, 131--168 (2003; Zbl 1056.03035) Full Text: DOI Euclid
Girard, Jean-Yves Ludics: an introduction. (English) Zbl 1056.03034 Schwichtenberg, Helmut (ed.) et al., Proof and system-reliability. Proceedings of the NATO Advanced Study Institute, Marktoberdorf, Germany, July 24 – August 5, 2001. Dordrecht: Kluwer Academic Publishers (ISBN 1-4020-0607-1/hbk). NATO Sci. Ser. II, Math. Phys. Chem. 62, 167-211 (2002). Reviewer: Reinhard Kahle (Coimbra) MSC: 03F07 03F52 03A05 03B22 PDFBibTeX XMLCite \textit{J.-Y. Girard}, NATO Sci. Ser. II, Math. Phys. Chem. 62, 167--211 (2002; Zbl 1056.03034)
Girard, Jean-Yves Locus solum: From the rules of logic to the logic of rules. (English) Zbl 0999.68545 Fribourg, Laurent (ed.), Computer science logic. 15th international workshop, CSL 2001, 10th annual conference of the EACSL, Paris, France, September 10-13, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2142, 38 (2001). MSC: 68Q01 68Q60 03B70 PDFBibTeX XMLCite \textit{J.-Y. Girard}, Lect. Notes Comput. Sci. 2142, 38 (2001; Zbl 0999.68545) Full Text: Link
Girard, Jean-Yves Locus solum: From the rules of logic to the logic of rules. (English) Zbl 1051.03045 Math. Struct. Comput. Sci. 11, No. 3, 301-506 (2001). Reviewer: Henry Africk (MR 2002h:03123) MSC: 03Fxx 03B22 03B47 03B70 03F52 68Q55 68Q60 91A80 PDFBibTeX XMLCite \textit{J.-Y. Girard}, Math. Struct. Comput. Sci. 11, No. 3, 301--506 (2001; Zbl 1051.03045) Full Text: DOI
Girard, Jean-Yves On the meaning of logical rules. II: Multiplicatives and additives. (English) Zbl 1031.03075 Bauer, Friedrich L. (ed.) et al., Foundations of secure computation. 20th international summer school, Marktoberdorf, Germany, July 27 - August 8, 1999. Amsterdam: IOS Press. NATO ASI Ser., Ser. F, Comput. Syst. Sci. 175, 183-212 (2000). Reviewer: Lorenzo Tortora de Falco (Roma) MSC: 03F52 03F07 03F05 PDFBibTeX XMLCite \textit{J.-Y. Girard}, NATO ASI Ser., Ser. F, Comput. Syst. Sci. 175, 183--212 (2000; Zbl 1031.03075)
Girard, Jean-Yves From why to how: Proof theory from 1950 to our days. (Du pourquoi au comment: la théorie de la démonstration de 1950 à nos jours.) (French) Zbl 0966.03001 Pier, Jean-Paul (ed.), Development of mathematics 1950-2000. Basel: Birkhäuser. 515-545 (2000). Reviewer: Roman Murawski (Poznań) MSC: 03-03 03F03 01A60 PDFBibTeX XMLCite \textit{J.-Y. Girard}, in: Development of mathematics 1950--2000. Basel: Birk\-häu\-ser. 515--545 (2000; Zbl 0966.03001)
Girard, Jean-Yves On denotational completeness. (English) Zbl 0959.03050 Theor. Comput. Sci. 227, No. 1-2, 249-273 (1999). MSC: 03F52 18D15 PDFBibTeX XMLCite \textit{J.-Y. Girard}, Theor. Comput. Sci. 227, No. 1--2, 249--273 (1999; Zbl 0959.03050) Full Text: DOI
Girard, Jean-Yves Coherent Banach spaces: A continuous denotational semantics. (English) Zbl 0952.03025 Theor. Comput. Sci. 227, No. 1-2, 275-297 (1999). MSC: 03B70 68Q55 46B99 18D15 03B20 03B47 PDFBibTeX XMLCite \textit{J.-Y. Girard}, Theor. Comput. Sci. 227, No. 1--2, 275--297 (1999; Zbl 0952.03025) Full Text: DOI
Girard, Jean-Yves On the meaning of logical rules. I: Syntax versus semantics. (English) Zbl 0962.03055 Berger, Ulrich (ed.) et al., Computational logic. Proceedings of the NATO ASI, Marktoberdorf, Germany, July 29-August 10, 1997. Berlin: Springer. NATO ASI Ser., Ser. F, Comput. Syst. Sci. 165, 215-272 (1999). Reviewer: Lorenzo Tortora de Falco (Paris) MSC: 03F52 03F03 PDFBibTeX XMLCite \textit{J.-Y. Girard}, NATO ASI Ser., Ser. F, Comput. Syst. Sci. 165, 215--272 (1999; Zbl 0962.03055)
Girard, Jean-Yves (ed.) Typed lambda calculi and applications. 4th international conference, TLCA ’99. L’Aquila, Italy, April 7–9, 1999. Proceedings. (English) Zbl 0911.00022 Lecture Notes in Computer Science. 1581. Berlin: Springer. viii, 397 p. (1999). MSC: 00B25 03-06 68-06 PDFBibTeX XMLCite \textit{J.-Y. Girard} (ed.), Typed lambda calculi and applications. 4th international conference, TLCA '99. L'Aquila, Italy, April 7--9, 1999. Proceedings. Berlin: Springer (1999; Zbl 0911.00022) Full Text: DOI
Girard, Jean-Yves Light linear logic. (English) Zbl 0912.03025 Inf. Comput. 143, No. 2, 175-204 (1998). Reviewer: Lorenzo Tortora de Falco (Paris) MSC: 03F20 03F05 03B70 03B20 03F07 PDFBibTeX XMLCite \textit{J.-Y. Girard}, Inf. Comput. 143, No. 2, 175--204 (1998; Zbl 0912.03025) Full Text: DOI Link
Girard, Jean-Yves Proof-nets: The parallel syntax for proof-theory. (English) Zbl 0868.03025 Ursini, Aldo (ed.) et al., Logic and algebra. Proceedings of the international conference dedicated to the memory of Roberto Magari, April 26–30, 1994, Pontignano, Italy. New York, NY: Marcel Dekker. Lect. Notes Pure Appl. Math. 180, 97-124 (1996). Reviewer: G.Mints (Stanford) MSC: 03F05 PDFBibTeX XMLCite \textit{J.-Y. Girard}, Lect. Notes Pure Appl. Math. 180, 97--124 (1996; Zbl 0868.03025)
Girard, Jean-Yves Coherent Banach spaces: A continuous denotational semantics. (Extended abstract). (English) Zbl 0909.68115 Girard, Jean-Yves (ed.) et al., Linear logic 96. Papers from the meeting, Keio Univ., Tokyo, Japan, March 28 - April 2, 1996. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 3, 7 p. (1996). MSC: 68Q55 PDFBibTeX XMLCite \textit{J.-Y. Girard}, in: Linear logic 96. Papers from the meeting, Keio Univ., Tokyo, Japan, March 28 - April 2, 1996. Amsterdam: Elsevier. 7 p. (1996; Zbl 0909.68115) Full Text: Link
Girard, Jean-Yves On denotional completeness. (Extended abstract). (English) Zbl 0908.03010 Girard, Jean-Yves (ed.) et al., Linear logic 96. Papers from the meeting, Keio Univ., Tokyo, Japan, March 28 - April 2, 1996. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 3, 6 p. (1996). MSC: 03B20 PDFBibTeX XMLCite \textit{J.-Y. Girard}, in: Linear logic 96. Papers from the meeting, Keio Univ., Tokyo, Japan, March 28 - April 2, 1996. Amsterdam: Elsevier. 6 p. (1996; Zbl 0908.03010) Full Text: Link
Girard, Jean-Yves Geometry of interaction. III: Accommodating the additives. (English) Zbl 0828.03027 Girard, Jean-Yves (ed.) et al., Advances in linear logic. Based on the linear logic workshop held June 14-18, 1993 at the Mathematical Sciences Institute, Cornell University, Ithaca, New York, USA. Cambridge: Cambridge University Press. Lond. Math. Soc. Lect. Note Ser. 222, 329-389 (1995). Reviewer: G.Mints (Stanford) MSC: 03F05 03B20 03B70 68N17 46L99 68Q55 PDFBibTeX XMLCite \textit{J.-Y. Girard}, Lond. Math. Soc. Lect. Note Ser. 222, 329--389 (1995; Zbl 0828.03027)
Girard, Jean-Yves Linear logic: Its syntax and semantics. (English) Zbl 0828.03003 Girard, Jean-Yves (ed.) et al., Advances in linear logic. Based on the linear logic workshop held June 14-18, 1993 at the Mathematical Sciences Institute, Cornell University, Ithaca, New York, USA. Cambridge: Cambridge University Press. Lond. Math. Soc. Lect. Note Ser. 222, 1-42 (1995). Reviewer: M.Zakharyashev (Berlin) MSC: 03B20 PDFBibTeX XMLCite \textit{J.-Y. Girard}, Lond. Math. Soc. Lect. Note Ser. 222, 1--42 (1995; Zbl 0828.03003)
Girard, Jean-Yves On geometry of interaction. (English) Zbl 0828.03026 Schwichtenberg, Helmut (ed.), Proof and computation. Proceedings of the NATO ASI summer school held in Marktoberdorf, Germany, July 20-August 1, 1993. Berlin: Springer-Verlag. NATO ASI Ser., Ser. F, Comput. Syst. Sci. 139, 145-191 (1995). Reviewer: G.Mints (Stanford) MSC: 03F05 03B20 03B70 68N17 68Q55 46L99 PDFBibTeX XMLCite \textit{J.-Y. Girard}, NATO ASI Ser., Ser. F, Comput. Syst. Sci. 139, 145--191 (1995; Zbl 0828.03026)
Girard, Jean-Yves Light linear logic. (English) Zbl 07776719 Leivant, Daniel (ed.), Logic and computational complexity. International workshop, LCC ’94, Indianapolis, IN, USA, October 13–16, 1994. Selected Papers. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 960, 145-176 (1995). MSC: 03-XX PDFBibTeX XMLCite \textit{J.-Y. Girard}, Lect. Notes Comput. Sci. 960, 145--176 (1995; Zbl 07776719) Full Text: DOI
Girard, Jean-Yves On the unity of logic. (English) Zbl 0781.03044 Ann. Pure Appl. Logic 59, No. 3, 201-217 (1993). Reviewer: G.Mints (Stanford) MSC: 03F05 03F50 03B20 03B10 PDFBibTeX XMLCite \textit{J.-Y. Girard}, Ann. Pure Appl. Logic 59, No. 3, 201--217 (1993; Zbl 0781.03044) Full Text: DOI
Girard, Jean-Yves The fly in the bottle (In memory of Jean van Heijenoort). (English) Zbl 0757.01022 Mod. Log. 2, No. 3, 256-259 (1992). MSC: 01A70 01A60 PDFBibTeX XMLCite \textit{J.-Y. Girard}, Mod. Log. 2, No. 3, 256--259 (1992; Zbl 0757.01022)
Girard, Jean-Yves Logic and exceptions: A few remarks. (English) Zbl 0760.03017 J. Log. Comput. 2, No. 2, 111-118 (1992). Reviewer: G.Kreisel (Oxford) MSC: 03F03 03B20 03A05 68Q99 PDFBibTeX XMLCite \textit{J.-Y. Girard}, J. Log. Comput. 2, No. 2, 111--118 (1992; Zbl 0760.03017) Full Text: DOI
Girard, Jean-Yves A new constructive logic: classical logic. (English) Zbl 0752.03027 Math. Struct. Comput. Sci. 1, No. 3, 255-296 (1991). Reviewer: G. E. Mints (Stanford) MSC: 03F05 03B20 03B10 PDFBibTeX XMLCite \textit{J.-Y. Girard}, Math. Struct. Comput. Sci. 1, No. 3, 255--296 (1991; Zbl 0752.03027) Full Text: DOI
Girard, Jean-Yves Geometry of interaction. II: Deadlock-free algorithms. (English) Zbl 0716.03047 Colog-88, Proc. Int. Conf., Tallinn/USSR 1988, Lect. Not. Comput. Sci. 417, 76-93 (1990). Reviewer: G.Mints MSC: 03F05 03B70 46L99 PDFBibTeX XML
Girard, Jean-Yves Geometry of interaction. I: Interpretation of system F. (English) Zbl 0686.03030 Logic colloq. ’88, Proc. Colloq., Padova/Italy 1988, Stud. Logic Found. Math. 127, 221-260 (1989). Reviewer: G.Mints MSC: 03F05 03B70 PDFBibTeX XML
Girard, Jean-Yves Towards a geometry of interactions. (English) Zbl 0672.03039 Categories in computer science and logic, Proc. AMS-IMS-SIAM Jt. Summer Res. Conf., Boulder/Colo. 1987, Contemp. Math. 92, 69-108 (1989). Reviewer: G.Kreisel MSC: 03F99 68N01 PDFBibTeX XML
Girard, Jean-Yves Normal functors, power series and \(\lambda\)-calculus. (English) Zbl 0646.03056 Ann. Pure Appl. Logic 37, No. 2, 129-177 (1988). Reviewer: M.Eytan MSC: 03F99 03B40 18A15 03G30 68N99 PDFBibTeX XMLCite \textit{J.-Y. Girard}, Ann. Pure Appl. Logic 37, No. 2, 129--177 (1988; Zbl 0646.03056) Full Text: DOI
Girard, Jean-Yves Multiplicatives. (English) Zbl 0667.03046 Rend. Semin. Mat., Torino Fasc. Spec. 1987, 11-33 (1987). Reviewer: G.Kreisel MSC: 03F99 03B70 PDFBibTeX XML
Girard, Jean-Yves Le lambda-calcul du second ordre. (The second-order lambda-calculus). (French) Zbl 0645.03013 Sémin. Bourbaki, 39ème année, Vol. 1986/87, Exp. No. 678, Astérisque 152/153, 173-185 (1987). Reviewer: E.Hartová MSC: 03B40 68Q65 PDFBibTeX XML Full Text: Numdam EuDML
Girard, Jean-Yves Proof theory and logical complexity. Volume I. (English) Zbl 0635.03052 Studies in Proof Theory. Monographs 1. Napoli: Bibliopolis. Edizioni di Filosofia e Scienze. 503 p. (1987). Reviewer: G.Mints MSC: 03Fxx 03-02 PDFBibTeX XML
Girard, Jean-Yves Linear logic and parallelism. (English) Zbl 0629.03036 Mathematical models for the semantics of parallelism, Proc. Adv. Sch., Rome/Italy 1986, Lect. Notes Comput. Sci. 280, 166-182 (1987). Reviewer: G.Kreisel MSC: 03F05 68Q65 PDFBibTeX XML
Girard, Jean Yves \(\Pi^1_2\)-logic and related topics. (English) Zbl 0628.03043 Atti degli incontri di logica matematica, Vol. 3, Siena & Padova/Italia 1985/86, 13-45 (1987). Reviewer: A.Pettorossi MSC: 03G30 03B70 68Q65 PDFBibTeX XML
Girard, Jean-Yves Linear logic. (English) Zbl 0625.03037 Theor. Comput. Sci. 50, 1-102 (1987). Reviewer: G.Kreisel MSC: 03F05 68N01 68T15 03B70 PDFBibTeX XMLCite \textit{J.-Y. Girard}, Theor. Comput. Sci. 50, 1--102 (1987; Zbl 0625.03037) Full Text: DOI
Girard, J. Y. La mouche dans la bouteille. (The fly in the bottle). (French) Zbl 0623.01012 Logic colloq. ’85, Proc. Colloq., Orsay/France 1985, Stud. Logic Found. Math. 122, 9-12 (1987). Reviewer: U.Bottazzini MSC: 01A70 03-03 PDFBibTeX XML
Girard, Jean-Yves The system \({\mathcal F}\) of variable types, fifteen years later. (English) Zbl 0623.03013 Theor. Comput. Sci. 45, 159-192 (1986). Reviewer: J.Zlatuska MSC: 03B40 18A35 68Q65 PDFBibTeX XMLCite \textit{J.-Y. Girard}, Theor. Comput. Sci. 45, 159--192 (1986; Zbl 0623.03013) Full Text: DOI
Girard, Jean-Yves Introduction to \(\Pi^1_2\)-logic. (English) Zbl 1069.03503 Synthese 62, No. 2, 191-216 (1985). Reviewer: M. Yasuhara (Princeton) (MR 86m:03089) MSC: 03F15 03F35 03F05 03E15 03G30 PDFBibTeX XMLCite \textit{J.-Y. Girard}, Synthese 62, No. 2, 191--216 (1985; Zbl 1069.03503) Full Text: DOI
Girard, Jean-Yves The \(\Omega\)-rule. (English) Zbl 0569.03023 Proc. Int. Congr. Math., Warszawa 1983, Vol. 1, 307-321 (1984). MSC: 03F07 03F15 03C75 03D70 03F05 PDFBibTeX XML
Girard, J.-Y. A survey of \(\Pi_2^1\)-logic. (English) Zbl 0496.03038 Logic, methodology and philosophy of science VI, Proc. 6th int. Congr., Hannover 1979, Stud. Logic Found. Math. 104, 89-107 (1982). MSC: 03F15 03E15 03F05 03D60 03D70 03G30 PDFBibTeX XML
Girard, Jean-Yves Herbrand’s theorem and proof-theory. (English) Zbl 0496.03036 Logic colloquium ’81, Proc. Herbrand Symp., Marseille 1981, Stud. Logic Found. Math. 107, 29-38 (1982). MSC: 03F05 03F25 03F15 PDFBibTeX XML
Girard, Jean-Yves Proof-theoretic investigations of inductive definitions. I. (English) Zbl 0494.03037 Logic and algorithmic, int. Symp., Zürich 1980, Monogr. L’Enseign. Math. 30, 207-236 (1982). MSC: 03F05 03D70 PDFBibTeX XML
Girard, Jean-Yves \(\Pi_2^1\)-logic. I: Dilators. (English) Zbl 0496.03037 Ann. Math. Logic 21, 75-219 (1981). MSC: 03F15 03E10 03E15 03G30 03D99 PDFBibTeX XMLCite \textit{J.-Y. Girard}, Ann. Math. Logic 21, 75--219 (1981; Zbl 0496.03037) Full Text: DOI
Girard, J. Y. Functionals and ordinoids. (English) Zbl 0441.03012 Colloq. int. de Logique, Clermont-Ferrand 1975, Colloq. int. CNRS, No. 249, 59-71 (1977). MSC: 03D20 03F10 PDFBibTeX XML
Girard, Jean-Yves Functional interpretation and Kripke models. (English) Zbl 0417.03029 Logic, Found. Math., Comput. Theory; Proc. 5th int Congr., London/Ontario 1975, Part 1, 33-57 (1977). MSC: 03F10 03F30 PDFBibTeX XML
Girard, J. Y. Three-valued logic and cut-elimination: The actual meaning of Takeuti’s conjecture. (English) Zbl 0357.02027 Diss. Math. 136, 45 P. (1976). MSC: 03F99 03B50 PDFBibTeX XML
Girard, J. Y. Quelques résultats sur les interpretations fonctionnelles. (French) Zbl 0287.02017 Cambridge Summer School math. Logic, Cambridge 1971, Lect. Notes Math. 337, 232-252 (1973). MSC: 03F99 03F55 PDFBibTeX XML
Girard, Jean-Yves 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.(An extension of Gödel’s interpretation to analysis and its application to cut elimination in analysis and type theory). (French) Zbl 0221.02013 Proc. 2nd Scandinav. Logic Sympos. 1970, Studies Logic Foundations Math. 63, 63-92 (1971). MSC: 03F03 03F10 03B15 03F25 PDFBibTeX XML