Journal of Symbolic Logic 32 (2):255-256 (1965)
| Authors |
|
| Abstract | This article has no associated abstract. (fix it) |
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| Reprint years | 1967 |
| DOI | 10.2307/2271676 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
No references found.
Citations of this work BETA
An Epistemic Approach to Paraconsistency: A Logic of Evidence and Truth.Walter Carnielli & Abilio Rodrigues - 2019 - Synthese 196 (9):3789-3813.
Weak Assertion.Luca Incurvati & Julian J. Schlöder - 2019 - Philosophical Quarterly 69 (277):741-770.
Inferentialism.Florian Steinberger & Julien Murzi - 2017 - In Blackwell Companion to Philosophy of Language. Wiley Blackwell. pp. 197-224.
Tarski on Truth and Logical Consequence.John Etchemendy - 1988 - Journal of Symbolic Logic 53 (1):51-79.
A Natural Extension of Natural Deduction.Peter Schroeder-Heister - 1984 - Journal of Symbolic Logic 49 (4):1284-1300.
View all 167 citations / Add more citations
Similar books and articles
Natural Deduction: A Proof-Theoretical Study.Dag Prawitz - 1965 - Stockholm, Sweden: Dover Publications.
Review: Dag Prawitz, Natural Deduction. A Proof-Theoretical Study. [REVIEW]Richmond Thomason - 1967 - Journal of Symbolic Logic 32 (2):255-256.
Natural Deduction: A Proof-Theoretical Study. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 19 (3):596-596.
Normal Proofs, Cut Free Derivations and Structural Rules.Greg Restall - 2014 - Studia Logica 102 (6):1143-1166.
Harmony in Multiple-Conclusion Natural-Deduction.Nissim Francez - 2014 - Logica Universalis 8 (2):215-259.
The Deduction Rule and Linear and Near-Linear Proof Simulations.Maria Luisa Bonet & Samuel R. Buss - 1993 - Journal of Symbolic Logic 58 (2):688-709.
Prawitz Dag. Natural Deduction. A Proof-Theoretical Study. Acta Universitatis Stock-Holmiensis, Stockholm Studies in Philosophy No. 3. Almqvist & Wiksell, Stockholm, Göteborg, and Uppsala, 1965, 113 Pp. [REVIEW]Richmond Thomason - 1967 - Journal of Symbolic Logic 32 (2):255-256.
Translating a Suppes-Lemmon Style Natural Deduction Into a Sequent Calculus.Pavlović Edi - 2015 - European Journal of Analytic Philosophy 11 (2):79--88.
Commentary and Illocutionary Expressions in Linear Calculi of Natural Deduction.Moritz Cordes & Friedrich Reinmuth - 2017 - Logic and Logical Philosophy 26 (2).
Full Classical S5 in Natural Deduction with Weak Normalization.Ana Teresa Martins & Lilia Ramalho Martins - 2008 - Annals of Pure and Applied Logic 152 (1):132-147.
Natural Deduction System in Paraconsistent Setting: Proof Search for PCont.Vasilyi Shangin & Alexander Bolotov - 2012 - Journal of Intelligent Systems 21 (1):1-24.
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.
Analytics
Added to PP index
2017-02-21
Total views
11 ( #851,818 of 2,504,869 )
Recent downloads (6 months)
1 ( #417,030 of 2,504,869 )
2017-02-21
Total views
11 ( #851,818 of 2,504,869 )
Recent downloads (6 months)
1 ( #417,030 of 2,504,869 )
How can I increase my downloads?
Downloads
