¸ Itetsuppes1973

North Holland, Amsterdam (1973)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

Links

PhilArchive



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

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Chapters

Towards a Foundation of General Proof Theory.Dag Prawitz

Similar books and articles

Towards a Foundation of General Proof Theory.Dag Prawitz - 1973 - In ¸ Itetsuppes1973. North Holland, Amsterdam.
Necessity of Thought.Cesare Cozzo - 2015 - In Heinrich Wansing (ed.), Dag Prawitz on Proofs and Meaning. Springer. pp. 101-20.
Inferentialism without Verificationism: Reply to Prawitz.Julien Murzi - 2011 - In Emiliano Ippoliti & Carlo Cellucci (eds.), Logic and Knowledge. Cambridge Scholars Press. pp. 285-90.
Comments on Lars Bergström's paper “Prawitz's Version of Verificationism”.D. Prawitz - 1998 - Theoria 64:293-303.
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.
Dimostrazioni e significato: Michael Dummett, Dag Prawitz, Per Martin-Löf.Enrico Moriconi - 1993 - Francoangeli.
In memoriam: Michael Dummett 1925-2011.Dag Prawitz - forthcoming - Association for Symbolic Logic: The Bulletin of Symbolic Logic.
Normal deduction in the intuitionistic linear logic.G. Mints - 1998 - Archive for Mathematical Logic 37 (5-6):415-425.
How Fundamental is the Fundamental Assumption?Nils Kurbis - 2012 - Teorema: International Journal of Philosophy 2 (2):5-19.
Antirealism and universal knowability.Michael Hand - 2010 - Synthese 173 (1):25 - 39.
Pluralism and the logical basis of metaphysics.N. Kurbis - 2007 - In Logica Yearbook.
A New S4 Classical Modal Logic in Natural Deduction.Maria Da Paz N. Medeiros - 2006 - Journal of Symbolic Logic 71 (3):799 - 809.
A new S4 classical modal logic in natural deduction.Maria Paz N. Medeirodas - 2006 - Journal of Symbolic Logic 71 (3):799-809.
Propositions.Dag Prawitz - 1968 - Theoria 34 (2):134-146.
The alternatives to an action.Dag Prawitz - 1970 - Theoria 36 (2):116-126.

Analytics

Added to PP
2016-09-21

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Author's Profile

Dag Prawitz
Stockholm University

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references