This is a preview of subscription content, log in via an institution to check access.
Bibliography
CurryH. B. and FeysR.,Combinatory Logic, vol. 1, North-Holland Publishing Company, Amsterdam, 1958.
DummettM.,Elements of Intuitionism, Oxford University Press, Oxford, 1977.
GoldblattR. I.,Topoi: the Categorial Analysis of Logic, North-Holland Publishing Company, Amsterdam, 1979.
HigginsP. J.,Notes on Categories and Groupoids, Van Nostrand Reinhold Company, London, 1971.
Howard, W. A., ‘The Formulae-as-types Notion of Construction’, [18], 479–490. (This has been in circulation since 1969.)
LambekJ., ‘Deductive Systems and Categories, I’,Mathematical Systems Theory,2 (1968), 287–318.
Lambek, J., ’From λ-calculus to Cartesian Closed Categories’, [18], pp. 375–402.
LäuchliH., ‘An Abstract Notion of Realizability for which the Intuitionistic Predicate Calculus is Complete’,Intuitionism and Proof Theory, A.Kino, J.Myhill, and R. E.Vesley (ed.), North-Holland Publishing Company, Amsterdam, 1970, pp. 227–234.
LawvereF. W., ‘Adjointness in Foundations’,Dialectica 23 (1969), 281–296.
LawvereF. W., ‘Equality in Hyperdoctrines and Comprehension Schema as an Adjoint Functor’,Applications of Categroical Algebra, Proceedings of Symposia in Pure Mathematics, vol. 17, A.Heller (ed.), American Mathematical Society, Providence, 1970, pp. 1–14.
MannC. R., ‘The Connection Between Equivalence of Proofs and Cartesian Closed Categories’Proceeding of the London Mathematical Society 3d ser.,31 (1975), 289–310.
Martin-LöfP., ‘An Intuitionistic Theory of Types: Predicative Part’,Logic Colloquium '73, H. E.Rose and J. C.Shepherdson (ed.) North-Holland Publishing Company, Amsterdam, 1975, pp. 73–118.
PottingerG., ‘Normalization as a Homomorphic Image of Cut-elimination’,Annals of Mathematical Logic,12 (1977), 323–357.
PottingerG., ‘On Analyzing Relevance Constructively’,Studia Logica.,38 (1979), 171–185.
PrawitzD., ‘Ideas and Results in Proof Theory’,Proceedings of the Second Scandinavian Logic Symposium, J. E.Fenstad (ed.), North-Holland Publishing Company, Amsterdam, 1971, pp. 235–307.
PrawitzD., ‘Meaning and Proofs: on the Conflict Between Classical and Intuitionistic Logic’,Theoria,43 (1977), 2–40.
SeelyR. A. G., ‘Weak Adjointness in Proof Theory’,Applications of Sheaves, Lecture Notes in Mathematics, 753, M. P.Fourman, C. J.Mulvey, and D.S.Scott (ed.), Springer-Verlag, Berlin, 1979, pp. 697–701.
SeldinJ. P., and HindleyJ. R., (ed.)To H. B. Curry: Essdys on Combinatory Logic, Lambda Calculus, and Formalism, Academic Press, London, 1980.
StenlundS.,Combinators, λ-terms, and Proof Theory, D. Reidel Publishing Company, Dordrecht, 1972.
SzaboM. E.,Algebra of Proofs, North-Holland Publishing Company, Amsterdam, 1978.
Author information
Authors and Affiliations
Additional information
I would like to thank the referee for helpful comments on an earlier draft.
Rights and permissions
About this article
Cite this article
Helman, G. An interpretation of classical proofs. J Philos Logic 12, 39–71 (1983). https://doi.org/10.1007/BF02329200
Issue Date:
DOI: https://doi.org/10.1007/BF02329200