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
655*2001
Creating Modern Probability: Its Mathematics, Physics and Philosophy in Historical Perspective
J von Plato
Cambridge University Press, 1994
5131994
Proof Analysis: A Contribution to Hilbert's Last Problem
S Negri, J von Plato
Cambridge University Press, 2011
1622011
Natural deduction with general elimination rules
J von Plato
Archive for Mathematical Logic 40 (7), 541-567, 2001
1552001
Cut elimination in the presence of axioms
S Negri, J von Plato
The Bulletin of Symbolic Logic, 418-435, 1998
1361998
The axioms of constructive geometry
J von Plato
Annals of Pure and Applied Logic 76 (2), 169-200, 1995
971995
The method of arbitrary functions
J von Plato
The British Journal for the Philosophy of Science 34 (1), 37-47, 1983
871983
Gentzen's proof of normalization for natural deduction
J von Plato, G Gentzen
The Bulletin of Symbolic Logic 14 (2), 240-257, 2008
72*2008
Boltzmann's ergodic hypothesis
J von Plato
Archive for History of Exact Sciences 42 (1), 71-89, 1991
661991
The development of proof theory
J von Plato
Stanford Encyclopedia of Philosophy, 2008
572008
Elements of Logical Reasoning
J von Plato
Cambridge University Press, 2013
472013
Gentzen und die Beweistheorie
J von Plato
Menzler-Trott, E. Gentzens Problem: Mathematische Logik im …, 2001
43*2001
A proof of Gentzen's Hauptsatz without multicut
J von Plato
Archive for Mathematical Logic 40 (1), 9-18, 2001
402001
Proof-theoretical analysis of order relations
S Negri, J von Plato, T Coquand
Archive for Mathematical Logic 43 (3), 297-309, 2004
352004
Positive lattices
J von Plato
Reuniting the Antipodes—Constructive and Nonstandard Views of the Continuum …, 2001
31*2001
Probability and determinism
J von Plato
Philosophy of Science, 51-66, 1982
311982
The significance of the ergodic decomposition of stationary measures for the interpretation of probability
J von Plato
Synthese 53 (3), 419-432, 1982
291982
Gentzen's proof systems: byproducts in a work of genius
J von Plato
The Bulletin of Symbolic Logic, 313-367, 2012
282012
Gentzen's logic
J von Plato
Handbook of the History of Logic 5, 667-721, 2009
282009
Sequent calculus in natural deduction style
S Negri, J von Plato
The Journal of Symbolic Logic 66, 1803-1816, 2001
282001
The system can't perform the operation now. Try again later.
Articles 1–20