×

zbMATH — the first resource for mathematics

von Plato, Jan

Compute Distance To:
Author ID: von-plato.jan Recent zbMATH articles by "von Plato, Jan"
Published as: von Plato, J.; von Plato, Jan
External Links: Wikidata · GND
Documents Indexed: 62 Publications since 1981, including 8 Books

Publications by Year

Citations contained in zbMATH

39 Publications have been cited 360 times in 217 Documents Cited by Year
Structural proof theory. With an appendix by Aarne Ranta. Zbl 1113.03051
Negri, Sara; von Plato, Jan
72
2001
Natural deduction with general elimination rules. Zbl 1021.03050
von Plato, Jan
34
2001
Proof analysis. A contribution to Hilbert’s last problem. Zbl 1247.03001
Negri, Sara; von Plato, Jan
31
2011
Cut elimination in the presence of axioms. Zbl 0934.03072
Negri, Sara; von Plato, Jan
31
1998
The axioms of constructive geometry. Zbl 0836.03034
von Plato, Jan
30
1995
Gentzen’s proof of normalization for natural deduction. Zbl 1145.03003
von Plato, Jan
15
2008
Gentzen’s proof systems: byproducts in a work of genius. Zbl 1258.03002
von Plato, Jan
11
2012
Creating modern probability. Its mathematics, physics and philosophy in historical perspective. Reprint. Zbl 0886.01002
von Plato, Jan
9
1998
Sequent calculus in natural deduction style. Zbl 0994.03049
Negri, Sara; von Plato, Jan
8
2001
A proof of Gentzen’s Hauptsatz without multicut. Zbl 0968.03065
von Plato, Jan
8
2001
Elements of logical reasoning. Zbl 1291.03004
von Plato, Jan
7
2013
Proof-theoretical analysis of order relations. Zbl 1062.03055
Negri, Sara; von Plato, Jan; Coquand, Thierry
7
2004
Proof systems for lattice theory. Zbl 1049.03009
Negri, Sara; von Plato, Jan
7
2004
Skolem’s discovery of Gödel-Dummett logic. Zbl 1015.03005
von Plato, Jan
7
2003
The method of arbitrary functions. Zbl 0512.60002
von Plato, Jan
7
1983
A constructive theory of ordered affine geometry. Zbl 0926.51014
von Plato, J.
6
1998
Finite partial exchangeability. Zbl 0727.60038
von Plato, Jan
6
1991
Combinatorial analysis of proofs in projective and affine geometry. Zbl 1225.03077
von Plato, Jan
5
2010
In the shadows of the Löwenheim-Skolem theorem: early combinatorial analyses of mathematical proofs. Zbl 1139.03004
von Plato, Jan
5
2007
A problem of normal form in natural deduction. Zbl 0946.03067
von Plato, Jan
5
2000
The logic of Euclidean construction procedures. Zbl 0778.03020
Mäenpää, Petri; von Plato, Jan
5
1990
The great formal machinery works. Theories of deduction and computation at the origins of the digital age. Zbl 1380.03008
von Plato, Jan
4
2017
Saved from the cellar. Gerhard Gentzen’s shorthand notes on logic and foundations of mathematics. Zbl 1414.03002
von Plato, Jan
4
2017
Normal derivability in classical natural deduction. Zbl 1248.03077
von Plato, Jan; Siders, Annika
4
2012
Proof theory of classical and intuitionistic logic. Zbl 1216.03018
von Plato, Jan
4
2009
Translations from natural deduction to sequent calculus. Zbl 1040.03042
von Plato, Jan
4
2003
A sequent calculus isomorphic to Gentzen’s natural deduction. Zbl 1239.03034
von Plato, Jan
3
2011
Permutability of rules in lattice theory. Zbl 1060.06013
Negri, Sara; von Plato, Jan
3
2002
Formalization of Hilbert’s geometry of incidence and parallelism. Zbl 0933.03006
von Plato, Jan
3
1997
The significance of the ergodic decomposition of stationary measures for the interpretation of probability. Zbl 0498.60001
von Plato, Jan
3
1982
From Gentzen to Jaśkowski and back: algorithmic translation of derivations between the two main systems of natural deduction. Zbl 1423.03241
von Plato, Jan
2
2017
A constructive approach to Sylvester’s conjecture. Zbl 1124.03044
von Plato, J.
2
2005
Normal derivability in modal logic. Zbl 1087.03014
von Plato, Jan
2
2005
Book review of: F. Acerbi, Il silenzio delle sirene. La matematica greca antica. Zbl 1308.00038
von Plato, Jan
1
2013
The duality of classical and constructive notions and proofs. Zbl 1096.03073
Negri, Sara; von Plato, Jan
1
2005
Positive lattices. Zbl 1041.03051
von Plato, Jan
1
2001
Order in open intervals of computable reals. Zbl 0931.03073
von Plato, Jan
1
1999
Oresme’s proof of the density of rotations of a circle through an irrational angle. Zbl 0792.01005
von Plato, Jan
1
1993
Reductive relations in interpretations of probability. Zbl 0482.60003
von Plato, Jan
1
1981
The great formal machinery works. Theories of deduction and computation at the origins of the digital age. Zbl 1380.03008
von Plato, Jan
4
2017
Saved from the cellar. Gerhard Gentzen’s shorthand notes on logic and foundations of mathematics. Zbl 1414.03002
von Plato, Jan
4
2017
From Gentzen to Jaśkowski and back: algorithmic translation of derivations between the two main systems of natural deduction. Zbl 1423.03241
von Plato, Jan
2
2017
Elements of logical reasoning. Zbl 1291.03004
von Plato, Jan
7
2013
Book review of: F. Acerbi, Il silenzio delle sirene. La matematica greca antica. Zbl 1308.00038
von Plato, Jan
1
2013
Gentzen’s proof systems: byproducts in a work of genius. Zbl 1258.03002
von Plato, Jan
11
2012
Normal derivability in classical natural deduction. Zbl 1248.03077
von Plato, Jan; Siders, Annika
4
2012
Proof analysis. A contribution to Hilbert’s last problem. Zbl 1247.03001
Negri, Sara; von Plato, Jan
31
2011
A sequent calculus isomorphic to Gentzen’s natural deduction. Zbl 1239.03034
von Plato, Jan
3
2011
Combinatorial analysis of proofs in projective and affine geometry. Zbl 1225.03077
von Plato, Jan
5
2010
Proof theory of classical and intuitionistic logic. Zbl 1216.03018
von Plato, Jan
4
2009
Gentzen’s proof of normalization for natural deduction. Zbl 1145.03003
von Plato, Jan
15
2008
In the shadows of the Löwenheim-Skolem theorem: early combinatorial analyses of mathematical proofs. Zbl 1139.03004
von Plato, Jan
5
2007
A constructive approach to Sylvester’s conjecture. Zbl 1124.03044
von Plato, J.
2
2005
Normal derivability in modal logic. Zbl 1087.03014
von Plato, Jan
2
2005
The duality of classical and constructive notions and proofs. Zbl 1096.03073
Negri, Sara; von Plato, Jan
1
2005
Proof-theoretical analysis of order relations. Zbl 1062.03055
Negri, Sara; von Plato, Jan; Coquand, Thierry
7
2004
Proof systems for lattice theory. Zbl 1049.03009
Negri, Sara; von Plato, Jan
7
2004
Skolem’s discovery of Gödel-Dummett logic. Zbl 1015.03005
von Plato, Jan
7
2003
Translations from natural deduction to sequent calculus. Zbl 1040.03042
von Plato, Jan
4
2003
Permutability of rules in lattice theory. Zbl 1060.06013
Negri, Sara; von Plato, Jan
3
2002
Structural proof theory. With an appendix by Aarne Ranta. Zbl 1113.03051
Negri, Sara; von Plato, Jan
72
2001
Natural deduction with general elimination rules. Zbl 1021.03050
von Plato, Jan
34
2001
Sequent calculus in natural deduction style. Zbl 0994.03049
Negri, Sara; von Plato, Jan
8
2001
A proof of Gentzen’s Hauptsatz without multicut. Zbl 0968.03065
von Plato, Jan
8
2001
Positive lattices. Zbl 1041.03051
von Plato, Jan
1
2001
A problem of normal form in natural deduction. Zbl 0946.03067
von Plato, Jan
5
2000
Order in open intervals of computable reals. Zbl 0931.03073
von Plato, Jan
1
1999
Cut elimination in the presence of axioms. Zbl 0934.03072
Negri, Sara; von Plato, Jan
31
1998
Creating modern probability. Its mathematics, physics and philosophy in historical perspective. Reprint. Zbl 0886.01002
von Plato, Jan
9
1998
A constructive theory of ordered affine geometry. Zbl 0926.51014
von Plato, J.
6
1998
Formalization of Hilbert’s geometry of incidence and parallelism. Zbl 0933.03006
von Plato, Jan
3
1997
The axioms of constructive geometry. Zbl 0836.03034
von Plato, Jan
30
1995
Oresme’s proof of the density of rotations of a circle through an irrational angle. Zbl 0792.01005
von Plato, Jan
1
1993
Finite partial exchangeability. Zbl 0727.60038
von Plato, Jan
6
1991
The logic of Euclidean construction procedures. Zbl 0778.03020
Mäenpää, Petri; von Plato, Jan
5
1990
The method of arbitrary functions. Zbl 0512.60002
von Plato, Jan
7
1983
The significance of the ergodic decomposition of stationary measures for the interpretation of probability. Zbl 0498.60001
von Plato, Jan
3
1982
Reductive relations in interpretations of probability. Zbl 0482.60003
von Plato, Jan
1
1981
all top 5

Cited by 217 Authors

18 von Plato, Jan
15 Negri, Sara
8 Francez, Nissim
7 Dyckhoff, Roy
6 Indrzejczak, Andrzej
5 Maffezioli, Paolo
4 Kanckos, Annika
4 Kuznets, Roman
4 Leszczyńska-Jasion, Dorota
4 Naibo, Alberto
4 Pambuccian, Victor V.
4 Schroeder-Heister, Peter Joseph
4 Wessel, Daniel
3 Arndt, Michael
3 Chlebowski, Szymon
3 Dufourd, Jean-François
3 Goré, Rajeev Prabhakar
3 Gratzl, Norbert
3 Hakli, Raul
3 Read, Stephen
3 Rinaldi, Davide
3 Sano, Katsuhiko
2 Aschieri, Federico
2 Beeson, Michael J.
2 Borisavljević, Mirjana
2 Constable, Robert Lee
2 Dehlinger, Christophe
2 Espírito Santo, José Carlos
2 Gnedin, Alexander V.
2 Janičić, Predrag
2 Kamide, Norihiro
2 Li, Dafa
2 Mandelkern, Mark
2 Mumma, John
2 Nakazawa, Koji
2 Nomura, Shoshin
2 Orlandelli, Eugenio
2 Quaresma, Pedro
2 Ramanayake, Revantha
2 Rasga, João
2 Rosenblatt, Lucas Daniel
2 Schuster, Peter Michael
2 Strannegård, Claes
2 Tatsuta, Makoto
2 Tranchini, Luca
2 Vesley, Richard E.
2 Wansing, Heinrich Theodor
2 Wiśniewski, Andrzej
1 Abeles, Francine F.
1 Aiello, Marco
1 Alonderis, Romas
1 Andrade, Elaine
1 Avigad, Jeremy
1 Badino, Massimiliano
1 Baeta, Nuno
1 Beall, Jc
1 Beckmann, Arnold
1 Bednarska, Kaja
1 Bellhouse, David R.
1 Bezem, Marc
1 Bezhanishvili, Nick
1 Bickford, Mark
1 Bimbó, Katalin
1 Borisavljevi, Mirjana
1 Bouleau, Nicolas
1 Braun, David J.
1 Buchholtz, Ulrik
1 Burel, Guillaume
1 Busaniche, Manuela
1 Buss, Samuel R.
1 Butterfield, Jane V.
1 Cabrer, Leonardo Manuel
1 Calderón, Guillermo
1 Carrara, Massimiliano
1 Centrone, Stefania
1 Chiarugi, Davide
1 Cifarelli, Donato Michele
1 Cignoli, Roberto
1 Coquand, Thierry
1 Corcoran, John
1 Corry, Leo
1 Crubellier, Michel
1 Da Ré, Bruno
1 D’Agostino, Marcello
1 Dawson, Jeremy E.
1 de Campos Sanz, Wagner
1 Dean, Edward T.
1 del Carmen González Huesca, Lourdes
1 Drobyshevich, Sergeĭ Andreevich
1 Engström, Fredrik
1 Faber, Jean
1 Falaschi, Moreno
1 Filomeno, Aldo
1 Fjellstad, Andreas
1 Franks, Curtis
1 Gabbay, Dov M.
1 Gabbay, Michael J.
1 Gärling, Tommy
1 Geuvers, Jan Herman
1 Ghari, Meghdad
...and 117 more Authors
all top 5

Cited in 50 Serials

22 Studia Logica
18 Journal of Philosophical Logic
15 The Review of Symbolic Logic
12 Annals of Pure and Applied Logic
9 Archive for Mathematical Logic
9 The Bulletin of Symbolic Logic
8 History and Philosophy of Logic
7 Theoretical Computer Science
6 Indagationes Mathematicae. New Series
5 Synthese
5 Logica Universalis
4 Bulletin of the Section of Logic
4 Logic and Logical Philosophy
4 Journal of Applied Logic
3 Archive for History of Exact Sciences
3 Statistics & Probability Letters
3 Journal of Automated Reasoning
3 Journal of Logic, Language and Information
3 Journal of Applied Non-Classical Logics
3 Annals of Mathematics and Artificial Intelligence
3 Studies in History and Philosophy of Science. Part B. Studies in History and Philosophy of Modern Physics
2 Notre Dame Journal of Formal Logic
2 Transactions of the American Mathematical Society
2 Statistical Science
2 Mathematical Logic Quarterly (MLQ)
2 Foundations of Physics
2 Philosophical Transactions of the Royal Society of London. A. Mathematical, Physical and Engineering Sciences
1 International Journal of Theoretical Physics
1 Information Processing Letters
1 Algebra Universalis
1 International Statistical Review
1 Journal of Functional Analysis
1 Journal of Geometry
1 The Journal of Symbolic Logic
1 Acta Mathematica Hungarica
1 Social Choice and Welfare
1 International Journal of Approximate Reasoning
1 Journal of Theoretical Probability
1 Computational Geometry
1 MSCS. Mathematical Structures in Computer Science
1 Expositiones Mathematicae
1 Theory of Computing Systems
1 Topoi
1 NTM. Neue Serie
1 Erkenntnis
1 Foundations of Science
1 International Studies in the Philosophy of Science
1 Journal of the Australian Mathematical Society
1 Logical Methods in Computer Science
1 Nôus

Citations by Year

Wikidata Timeline