On the Rules of Proof in the Pure Functional Calculus of the First Order

Journal of Symbolic Logic 16 (4):272 (1951)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,271

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

2-Sequent calculus: a proof theory of modalities.Andrea Masini - 1992 - Annals of Pure and Applied Logic 58 (3):229-246.
An approach to infinitary temporal proof theory.Stefano Baratella & Andrea Masini - 2004 - Archive for Mathematical Logic 43 (8):965-990.
Canonical proof nets for classical logic.Richard McKinley - 2013 - Annals of Pure and Applied Logic 164 (6):702-732.
Mints type deductive calculi for logic programming.J. C. Shepherdson - 1992 - Annals of Pure and Applied Logic 56 (1-3):7-17.
Proof-theoretical analysis of order relations.Sara Negri, Jan von Plato & Thierry Coquand - 2004 - Archive for Mathematical Logic 43 (3):297-309.
Inductive types and type constraints in the second-order lambda calculus.Nax Paul Mendler - 1991 - Annals of Pure and Applied Logic 51 (1-2):159-172.

Analytics

Added to PP
2013-11-22

Downloads
25 (#611,575)

6 months
4 (#797,377)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Inclusive first-order logic.Roch Ouellet - 1981 - Studia Logica 40 (1):13 - 28.
Ao modo de Saccheri.Frank Thomas Sautter - 2019 - Principia: An International Journal of Epistemology 23 (2):145-151.

Add more citations

References found in this work

No references found.

Add more references