Jan von Plato

Natural deduction with general elimination rules

Jan von Plato · Archive for Mathematical Logic · 2001 · 125 citations

Computing, Computer Science, Mathematics +8

Cut Elimination in the Presence of Axioms

Sara Negri, Jan von Plato · Bulletin of Symbolic Logic · 1998 · 124 citations

Humanities, Computer Science, Mathematics +16

Gentzen's Proof of Normalization for Natural Deduction

Jan von Plato · Bulletin of Symbolic Logic · 2008 · 107 citations

Computing, Computer Science, Mathematics +7

Creating Modern Probability: Its Mathematics, Physics and Philosophy in Historical Perspective.

Lawrence Sklar, Jan von Plato · The Journal of Philosophy · 1994 · 94 citations

Natural Sciences, Mathematics, Physics +16

The Method of Arbitrary Functions

Jan von Plato · The British Journal for the Philosophy of Science · 1983 · 85 citations

Natural Sciences, Mathematics, Differential Equations +9