Jan von Plato
TitleCited byYear
Structural Proof Theory
S Negri, J von Plato
Cambridge University Press, 2001
486*2001
Creating Modern Probability: Its Mathematics, Physics and Philosophy in Historical Perspective
J von Plato
Cambridge University Press, 1994
4501994
Natural deduction with general elimination rules
J von Plato
Archive for Mathematical Logic 40 (7), 541-567, 2001
1352001
Cut elimination in the presence of axioms
S Negri, J von Plato
The Bulletin of Symbolic Logic, 418-435, 1998
1081998
Proof Analysis: A Contribution to Hilbert's Last Problem
S Negri, J von Plato
Cambridge University Press, 2011
1002011
The axioms of constructive geometry
J von Plato
Annals of Pure and Applied Logic 76 (2), 169-200, 1995
821995
The method of arbitrary functions
J von Plato
The British Journal for the Philosophy of Science 34 (1), 37-47, 1983
771983
Gentzen's proof of normalization for natural deduction
J von Plato, G Gentzen
The Bulletin of Symbolic Logic 14 (2), 240-257, 2008
57*2008
Boltzmann's ergodic hypothesis
J von Plato
Archive for History of Exact Sciences 42 (1), 71-89, 1991
451991
A proof of Gentzen's Hauptsatz without multicut
J von Plato
Archive for Mathematical Logic 40 (1), 9-18, 2001
362001
Gentzen und die Beweistheorie
J von Plato
Menzler-Trott, E. Gentzens Problem: Mathematische Logik im …, 2001
34*2001
The development of proof theory
J von Plato
Stanford Encyclopedia of Philosophy, 2008
312008
Probabilistic physics the classical way
J von Plato
The Probabilistic Revolution 2, 379-407, 1987
31*1987
Elements of Logical Reasoning
J von Plato
Cambridge University Press, 2013
282013
The significance of the ergodic decomposition of stationary measures for the interpretation of probability
J von Plato
Synthese 53 (3), 419-432, 1982
281982
Probability and determinism
J von Plato
Philosophy of Science, 51-66, 1982
281982
Proof-theoretical analysis of order relations
S Negri, J von Plato, T Coquand
Archive for Mathematical Logic 43 (3), 297-309, 2004
262004
Gentzen's logic
J von Plato
Handbook of the History of Logic 5, 667-721, 2009
252009
Positive lattices
J von Plato
Reuniting the Antipodes—Constructive and Nonstandard Views of the Continuum …, 2001
252001
Gentzen's proof systems: byproducts in a work of genius
J von Plato
The Bulletin of Symbolic Logic, 313-367, 2012
242012
The system can't perform the operation now. Try again later.
Articles 1–20