Follow
Jan von Plato
Title
Cited by
Cited by
Year
Structural Proof Theory (With an Appendix by Aarne Ranta)
S Negri, J von Plato, A Ranta
Cambridge University Press, 2001
747*2001
Creating Modern Probability: Its Mathematics, Physics and Philosophy in Historical Perspective
J von Plato
Cambridge University Press, 1994
5471994
Proof Analysis: A Contribution to Hilbert's Last Problem
S Negri, J von Plato
Cambridge University Press, 2011
1792011
Natural deduction with general elimination rules
J von Plato
Archive for Mathematical Logic 40 (7), 541-567, 2001
1702001
Cut elimination in the presence of axioms
S Negri, J von Plato
The Bulletin of Symbolic Logic, 418-435, 1998
1501998
The axioms of constructive geometry
J von Plato
Annals of Pure and Applied Logic 76 (2), 169-200, 1995
1011995
The method of arbitrary functions
J von Plato
The British Journal for the Philosophy of Science 34 (1), 37-47, 1983
911983
Gentzen's proof of normalization for natural deduction
J von Plato, G Gentzen
The Bulletin of Symbolic Logic 14 (2), 240-257, 2008
84*2008
Boltzmann's ergodic hypothesis
J von Plato
Archive for History of Exact Sciences 42 (1), 71-89, 1991
741991
The development of proof theory
J von Plato
Stanford Encyclopedia of Philosophy, 2008
582008
Gentzen und die Beweistheorie
J von Plato
Menzler-Trott, E. Gentzens Problem: Mathematische Logik im …, 2001
49*2001
Elements of Logical Reasoning
J von Plato
Cambridge University Press, 2013
482013
A proof of Gentzen's Hauptsatz without multicut
J von Plato
Archive for Mathematical Logic 40, 9-18, 2001
452001
Proof-theoretical analysis of order relations
S Negri, J von Plato, T Coquand
Archive for Mathematical Logic 43 (3), 297-309, 2004
352004
Gentzen's proof systems: byproducts in a work of genius
J von Plato
The Bulletin of Symbolic Logic, 313-367, 2012
342012
Positive lattices
J von Plato
Reuniting the Antipodes—Constructive and Nonstandard Views of the Continuum …, 2001
332001
The significance of the ergodic decomposition of stationary measures for the interpretation of probability
J von Plato
Synthese 53 (3), 419-432, 1982
331982
Probability and determinism
J von Plato
Philosophy of Science, 51-66, 1982
311982
The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age
J von Plato
Princeton University Press, 2017
302017
Gentzen's logic
J von Plato
Handbook of the History of Logic 5, 667-721, 2009
292009
The system can't perform the operation now. Try again later.
Articles 1–20