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