Organization and Development of a Constructive Axiomatization. - Jan von Plato (TYPES, 1995)

The Axioms of Constructive Geometry. - Jan von Plato (Ann. Pure Appl. Log., 1995)

Formalization of Hilbert's Geometry of incidence and Parallelism. - Jan von Plato (Synth., 1997)

From Kripke Models to Algebraic Counter-Valuations. - Sara Negri; Jan von Plato (TABLEAUX, 1998)

Cut elimination in the presence of axioms. - Sara Negri; Jan von Plato (Bull. Symb. Log., 1998)

Order in open intervals of computable reals. - Jan von Plato (Math. Struct. Comput. Sci., 1999)

A Problem of Normal Form in Natural Deduction. - Jan von Plato (Math. Log. Q., 2000)

Structural proof theory. - Sara Negri; Jan von Plato (Cambridge University Press, 2001)

A proof of Gentzen's Hauptsatz without multicut. - Jan von Plato (Arch. Math. Log., 2001)

Natural deduction with general elimination rules. - Jan von Plato (Arch. Math. Log., 2001)

Sequent Calculus in Natural Deduction Style. - Sara Negri; Jan von Plato (J. Symb. Log., 2001)

Translations from natural deduction to sequent calculus. - Jan von Plato (Math. Log. Q., 2003)

Skolem's Discovery of Gödel-Dummett Logic. - Jan von Plato (Stud Logica, 2003)

Rereading Gentzen. - Jan von Plato (Synth., 2003)

Proof-theoretical analysis of order relations. - Sara Negri; Jan von Plato; Thierry Coquand (Arch. Math. Log., 2004)

Proof systems for lattice theory. - Sara Negri; Jan von Plato (Math. Struct. Comput. Sci., 2004)

The duality of lcassical and constructive notions and proofs. - Sara Negri; Jan von Plato (From sets and types to topology and analysis, 2005)

A Constructive Approach to Sylvester's Conjecture. - Jan von Plato (J. Univers. Comput. Sci., 2005)

Normal derivability in modal logic. - Jan von Plato (Math. Log. Q., 2005)

In the Shadows of the Löwenheim-Skolem Theorem: Early Combinatorial Analyses of Mathematical Proofs. - Jan von Plato (Bull. Symb. Log., 2007)

Gentzen's Proof of Normalization for Natural Deduction. - Jan von Plato (Bull. Symb. Log., 2008)

Gentzen's Logic. - Jan von Plato (Logic from Russell to Church, 2009)

Combinatorial analysis of proofs in projective and affine geometry. - Jan von Plato (Ann. Pure Appl. Log., 2010)

A Sequent Calculus isomorphic to Gentzen's Natural Deduction. - Jan von Plato (Rev. Symb. Log., 2011)

Gentzen's proof systems: byproducts in a work of genius. - Jan von Plato (Bull. Symb. Log., 2012)

Normal Derivability in Classical Natural Deduction. - Jan von Plato; Annika Siders (Rev. Symb. Log., 2012)

Proof Analysis - A Contribution to Hilbert's Last Problem. - Sara Negri; Jan von Plato (Cambridge University Press, 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)

Generality and existence: Quantificational Logic in Historical Perspective. - Jan von Plato (Bull. Symb. Log., 2014)

From Axiomatic Logic to Natural Deduction. - Jan von Plato (Stud Logica, 2014)

In Search of the Roots of Formal Computation. - Jan von Plato (HaPoC, 2015)

Explicit Composition and Its Application in Proofs of Normalization. - Jan von Plato (Advances in Proof-Theoretic Semantics, 2016)

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)

On the Proof Theory of Apodictic Syllogistic. - Melissa Antonelli; Jan von Plato (AiML, 2024)

90 years of Gödel's incompleteness theorems: Logic and computation. - Matthias Baaz; Marcel Ertel; Reinhard Kahle; Thomas Piecha; Jan von Plato (J. Log. Comput., 2024)