Jan von Plato

According to our database, Jan von Plato authored at least 33 papers between 1995 and 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2018

Kurt Gödel's First Steps in Logic: Formal Proofs in Arithmetic and Set Theory through a System of Natural Deduction.

Jan von Plato

Bull. Symb. Log., 2018

2016

Explicit Composition and Its Application in Proofs of Normalization.

Jan von Plato

Proceedings of the Advances in Proof-Theoretic Semantics., 2016

2015

In Search of the Roots of Formal Computation.

Jan von Plato

Proceedings of the History and Philosophy of Computing - Third International Conference, 2015

2014

From Axiomatic Logic to Natural Deduction.

Jan von Plato

Stud Logica, 2014

Generality and existence: Quantificational Logic in Historical Perspective.

Jan von Plato

Bull. Symb. Log., 2014

David Hilbert's lectures on the foundations of arithmetic and logic 1917-1933. Edited by William Ewald and Wilfried Sieg. Springer, Berlin, Heidelberg and New York, 2013, xxv + 1062 pp.

Jan von Plato

Bull. Symb. Log., 2014

Proof Analysis - A Contribution to Hilbert's Last Problem.

Sara Negri, Jan von Plato

Cambridge University Press, ISBN: 978-1-10-741723-6, 2014

2012

Normal Derivability in Classical Natural Deduction.

Jan von Plato, Annika Siders

Rev. Symb. Log., 2012

Gentzen's proof systems: byproducts in a work of genius.

Jan von Plato

Bull. Symb. Log., 2012

2011

A Sequent Calculus isomorphic to Gentzen's Natural Deduction.

Jan von Plato

Rev. Symb. Log., 2011

2010

Combinatorial analysis of proofs in projective and affine geometry.

Jan von Plato

Ann. Pure Appl. Log., 2010

2009

Gentzen's Logic.

Jan von Plato

Proceedings of the Logic from Russell to Church, 2009

2008

Gentzen's Proof of Normalization for Natural Deduction.

Jan von Plato

Bull. Symb. Log., 2008

2007

In the Shadows of the Löwenheim-Skolem Theorem: Early Combinatorial Analyses of Mathematical Proofs.

Jan von Plato

Bull. Symb. Log., 2007

2005

Normal derivability in modal logic.

Jan von Plato

Math. Log. Q., 2005

A Constructive Approach to Sylvester's Conjecture.

Jan von Plato

J. Univers. Comput. Sci., 2005

The duality of lcassical and constructive notions and proofs.

Sara Negri, Jan von Plato

Proceedings of the From sets and types to topology and analysis, 2005

2004

Proof systems for lattice theory.

Sara Negri, Jan von Plato

Math. Struct. Comput. Sci., 2004

Proof-theoretical analysis of order relations.

Sara Negri, Jan von Plato, Thierry Coquand

Arch. Math. Log., 2004

2003

Rereading Gentzen.

Jan von Plato

Synth., 2003

Skolem's Discovery of Gödel-Dummett Logic.

Jan von Plato

Stud Logica, 2003

Translations from natural deduction to sequent calculus.

Jan von Plato

Math. Log. Q., 2003

2001

Sequent Calculus in Natural Deduction Style.

Sara Negri, Jan von Plato

J. Symb. Log., 2001

Natural deduction with general elimination rules.

Jan von Plato

Arch. Math. Log., 2001

A proof of Gentzen's Hauptsatz without multicut.

Jan von Plato

Arch. Math. Log., 2001

Structural proof theory.

Sara Negri, Jan von Plato

Cambridge University Press, ISBN: 978-0-521-79307-0, 2001

2000

A Problem of Normal Form in Natural Deduction.

Jan von Plato

Math. Log. Q., 2000

1999

Order in open intervals of computable reals.

Jan von Plato

Math. Struct. Comput. Sci., 1999

1998

Cut elimination in the presence of axioms.

Sara Negri, Jan von Plato

Bull. Symb. Log., 1998

From Kripke Models to Algebraic Counter-Valuations.

Sara Negri, Jan von Plato

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1998

1997

Formalization of Hilbert's Geometry of incidence and Parallelism.

Jan von Plato

Synth., 1997

1995

The Axioms of Constructive Geometry.

Jan von Plato

Ann. Pure Appl. Log., 1995

Organization and Development of a Constructive Axiomatization.

Jan von Plato

Proceedings of the Types for Proofs and Programs, 1995