Normal form and existence property for derivations in heyting arithmetic

Acta Philosophica Fennica 78:159 (2006)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,098

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

Similar books and articles

In Memoriam Georg Henrik von Wright.Ilkka Niiniluoto - 2005 - Acta Philosophica Fennica 77:9.
GH von Wright as Heir to Wittgenstein.Brian McGuinness - 2005 - Acta Philosophica Fennica 77:79.
GH von Wright on Goodness and Justice.Lars Hertzberg - 2005 - Acta Philosophica Fennica 77:89.
GH von Wright and the Philosophy of Law.Eugenio Bulygin - 2005 - Acta Philosophica Fennica 77:51.
GH von Wright on Probability and Induction.Ilkka Niiniluoto - 2005 - Acta Philosophica Fennica 77:11.
Form and Persuasion in Descartes' Meditations.Bridget Clarke - 2006 - Acta Philosophica Fennica 79:155.
GH von Wright on Logic, Philosophy and Mathematics.Jaakko Hintikka - 2005 - Acta Philosophica Fennica 77:33.
On the Significance of GH von Wright's Deontic Logic.Ingmar Porn - 2005 - Acta Philosophica Fennica 77:45.
GH von Wright on Self-Determination and Free Agency.Rosaria Egidi - 2005 - Acta Philosophica Fennica 77:105.
When a Young Chinese Scholar met von Wright.Bo Chen - 2016 - Acta Philosophica Fennica 92:9-32.

Analytics

Added to PP
2013-10-28

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

Jan Von Plato
University of Helsinki

Citations of this work

Necessity of Thought.Cesare Cozzo - 2015 - In Heinrich Wansing (ed.), Dag Prawitz on Proofs and Meaning. Springer. pp. 101-20.
Consistency of Heyting arithmetic in natural deduction.Annika Kanckos - 2010 - Mathematical Logic Quarterly 56 (6):611-624.
Gentzen’s consistency proof without heightlines.Annika Siders - 2013 - Archive for Mathematical Logic 52 (3-4):449-468.
Normalization proof for Peano Arithmetic.Annika Siders - 2015 - Archive for Mathematical Logic 54 (7-8):921-940.
Dag Prawitz on Proofs and Meaning.Heinrich Wansing (ed.) - 2014 - Cham, Switzerland: Springer.

View all 6 citations / Add more citations

References found in this work

No references found.

Add more references