- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Ideas and Results in Proof Theory
Journal of Symbolic Logic 40 (2):232-234 (1971)
Abstract
This article has no associated abstract. (fix it)Author's Profile
My notes
Similar books and articles
Review: Dag Prawitz, J. E. Fenstad, Ideas and Results in Proof Theory. [REVIEW]Solomon Feferman - 1975 - Journal of Symbolic Logic 40 (2):232-234.
Prawitz Dag. Ideas and results in proof theory. Proceedings of the Second Scandinavian Logic Symposium, edited by Fenstad J. E., Studies in logic and the foundations of mathematics, vol. 63, North-Holland Publishing Company, Amsterdam and London 1971, pp. 235–307. [REVIEW]Solomon Feferman - 1975 - Journal of Symbolic Logic 40 (2):232-234.
Review: Dag Prawitz, An Improved Proof Procedure. [REVIEW]J. A. Robinson - 1966 - Journal of Symbolic Logic 31 (1):126-127.
Review: Dag Prawitz, Natural Deduction. A Proof-Theoretical Study. [REVIEW]Richmond Thomason - 1967 - Journal of Symbolic Logic 32 (2):255-256.
Review: Dag Prawitz, Hakon Prawitz, Neri Voghera, A Mechanical Proof Procedure and its Realization in an Electronic Computer. [REVIEW]J. A. Robinson - 1966 - Journal of Symbolic Logic 31 (1):126-126.
Dag Prawitz. Hauptsatz for higher order logic. The journal of symbolic logic, Bd. 33 , S. 452–457. - Dag Prawitz. Completeness and Hauptsatz for second order logic. Theoria , Bd. 33 , S. 246–258. - Moto-o Takahashi. A proof of cut-elimination in simple type-theory. Journal of the Mathematical Society of Japan, Bd. 19 , S. 399–410. [REVIEW]K. Schutte - 1974 - Journal of Symbolic Logic 39 (3):607-607.
Dag Prawitz. An improved proof procedure. Theoria , vol. 26 , pp. 102–139.J. A. Robinson - 1966 - Journal of Symbolic Logic 31 (1):126-127.
Dag Prawitz, Håkon Prawitz, and Neri Voghera. A mechanical proof procedure and its realization in an electronic computer.Journal of the Association for Computing Machinery, vol. 7 , pp. 102–128. [REVIEW]J. A. Robinson - 1966 - Journal of Symbolic Logic 31 (1):126-126.
On the motives for proof theory.Michael Detlefsen - 2015 - In Heinrich Wansing (ed.), Dag Prawitz on Proofs and Meaning. Springer.
Prawitz Dag. Hauptsatz for higher order logic.K. Schütte - 1974 - Journal of Symbolic Logic 39 (3):607.
Analytics
Added to PP
2015-02-05
Downloads
89 (#196,196)
6 months
21 (#133,716)
2015-02-05
Downloads
89 (#196,196)
6 months
21 (#133,716)
Historical graph of downloads
Author's Profile
Citations of this work
Shadows of Syntax: Revitalizing Logical and Mathematical Conventionalism.Jared Warren - 2020 - New York, USA: Oxford University Press.
Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method.Carlo Cellucci - 2013 - Dordrecht, Netherland: Springer.
Proof-Theoretic Semantics.Peter Schroeder-Heister - forthcoming - Stanford Encyclopedia of Philosophy.
The original sin of proof-theoretic semantics.Bogdan Dicher & Francesco Paoli - 2020 - Synthese:1-26.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-68866f4b87-tsllw uwo