Under consideration for publication in Math. Struct. in Comp. Science Geometry of Interaction VI: a Blueprint for Transcendental Syntax Jean-Yves Girard Revised August 28, 2013 - Synthetic geometry - Document - PDFSEARCH.IO

First Page	Meta Content
	Under consideration for publication in Math. Struct. in Comp. Science Geometry of Interaction VI: a Blueprint for Transcendental Syntax Jean-Yves Girard Revised August 28, 2013 Add to Reading List Document Date: 2013-08-28 11:34:52 Open Document File Size: 529,02 KB Share Result on Facebook IndustryTerm print newspapers / tensor product / bank / untyped and typed systems / Crown products / quadratic reprocity law / care of a possible failure / deductive systems / / Person Maria Rengo / Paolo Pistone / Marc Bagnol / Jean-Yves Girard / / SocialTag Philosophical logic A priori and a posteriori Analytic–synthetic distinction Mathematical proof Modal logic Immanuel Kant First-order logic Entailment Linear logic Logic

Under consideration for publication in Math. Struct. in Comp. Science Geometry of Interaction VI: a Blueprint for Transcendental Syntax Jean-Yves Girard Revised August 28, 2013Add to Reading List