Archive for Mathematical Logic 3 (3-4):65 (1957)

Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories No categories specified
(categorize this paper)
DOI 10.1007/bf01988048
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 70,091
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Existential Instantiation and Normalization in Sequent Natural Deduction.Carlo Cellucci - 1992 - Annals of Pure and Applied Logic 58 (2):111-148.
A New Look at Definite Descriptions.Mario Bunge - 1971 - Kagaku Tetsugaku 4:131-146.

Add more citations

Similar books and articles

On Quine's Approach to Natural Deduction'.Carlo Cellucci - 1995 - In Paolo Leonardi & Marco Santambrogio (eds.), On Quine: New Essays. Cambridge University Press. pp. 314--335.
Remarks on Descriptions and Natural Deduction.Richard Montague - 1957 - Archive for Mathematical Logic 3 (1-2):50.
Remarks on Descriptions and Natural Deduction.Jaakko Hintikka - 1958 - Journal of Symbolic Logic 23 (4):449-450.
A Brief History of Natural Deduction.Francis Jeffry Pelletier - 1999 - History and Philosophy of Logic 20 (1):1-31.
From Axiomatic Logic to Natural Deduction.Jan von Plato - 2014 - Studia Logica 102 (6):1167-1184.
Variable Declarations in Natural Deduction.Daniel J. Velleman - 2006 - Annals of Pure and Applied Logic 144 (1-3):133-146.
Sequent Calculus in Natural Deduction Style.Sara Negri & Jan von Plato - 2001 - Journal of Symbolic Logic 66 (4):1803-1816.
Remarks on Natural Deduction.E. W. Beth - 1957 - Journal of Symbolic Logic 22 (4):360-363.
Sequent Calculus in Natural Deduction Style.Sara Negri & Jan von Plato - 2001 - Journal of Symbolic Logic 66 (4):1803-1816.

Analytics

Added to PP index
2017-02-22

Total views
9 ( #950,738 of 2,506,371 )

Recent downloads (6 months)
1 ( #416,997 of 2,506,371 )

How can I increase my downloads?

Downloads

My notes