Följ
Jan von Plato
Titel
Citeras av
Citeras av
År
Structural Proof Theory (With an Appendix by Aarne Ranta)
S Negri, J von Plato, A Ranta
Cambridge University Press, 2001
665*2001
Creating Modern Probability: Its Mathematics, Physics and Philosophy in Historical Perspective
J von Plato
Cambridge University Press, 1994
5191994
Proof Analysis: A Contribution to Hilbert's Last Problem
S Negri, J von Plato
Cambridge University Press, 2011
1662011
Natural deduction with general elimination rules
J von Plato
Archive for Mathematical Logic 40 (7), 541-567, 2001
1592001
Cut elimination in the presence of axioms
S Negri, J von Plato
The Bulletin of Symbolic Logic, 418-435, 1998
1381998
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
881983
Gentzen's proof of normalization for natural deduction
J von Plato, G Gentzen
The Bulletin of Symbolic Logic 14 (2), 240-257, 2008
74*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
582008
Elements of Logical Reasoning
J von Plato
Cambridge University Press, 2013
482013
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
372004
Positive lattices
J von Plato
Reuniting the Antipodes—Constructive and Nonstandard Views of the Continuum …, 2001
32*2001
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
Sequent calculus in natural deduction style
S Negri, J von Plato
The Journal of Symbolic Logic 66, 1803-1816, 2001
282001
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20