Jan von Plato

36 papers B 2Journal 27Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
Gentzen's Overview of Calculi and Reductions in Consistency Proofs.
Bull. Symb. Log.
Jan von Plato
2024 J jnl
90 years of Gödel's incompleteness theorems: Logic and computation.
J. Log. Comput.
Matthias Baaz, Marcel Ertel, Reinhard Kahle, Thomas Piecha, Jan von Plato
2024 B conf
On the Proof Theory of Apodictic Syllogistic.
AiML
Melissa Antonelli, Jan von Plato
2018 J jnl
Kurt Gödel's First Steps in Logic: Formal Proofs in Arithmetic and Set Theory through a System of Natural Deduction.
Bull. Symb. Log.
Jan von Plato
2016 — ch.
Explicit Composition and Its Application in Proofs of Normalization.
Advances in Proof-Theoretic Semantics
Jan von Plato
2015 — conf
In Search of the Roots of Formal Computation.
HaPoC
Jan von Plato
2014 J jnl
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.
Bull. Symb. Log.
Jan von Plato
2014 J jnl
From Axiomatic Logic to Natural Deduction.
Stud Logica
Jan von Plato
2014 J jnl
Generality and existence: Quantificational Logic in Historical Perspective.
Bull. Symb. Log.
Jan von Plato
2014 — book
Proof Analysis - A Contribution to Hilbert's Last Problem.
Sara Negri, Jan von Plato
2012 J jnl
Gentzen's proof systems: byproducts in a work of genius.
Bull. Symb. Log.
Jan von Plato
2012 J jnl
Normal Derivability in Classical Natural Deduction.
Rev. Symb. Log.
Jan von Plato, Annika Siders
2011 J jnl
A Sequent Calculus isomorphic to Gentzen's Natural Deduction.
Rev. Symb. Log.
Jan von Plato
2010 J jnl
Combinatorial analysis of proofs in projective and affine geometry.
Ann. Pure Appl. Log.
Jan von Plato
2009 — ch.
Gentzen's Logic.
Logic from Russell to Church
Jan von Plato
2008 J jnl
Gentzen's Proof of Normalization for Natural Deduction.
Bull. Symb. Log.
Jan von Plato
2007 J jnl
In the Shadows of the Löwenheim-Skolem Theorem: Early Combinatorial Analyses of Mathematical Proofs.
Bull. Symb. Log.
Jan von Plato
2005 J jnl
A Constructive Approach to Sylvester's Conjecture.
J. Univers. Comput. Sci.
Jan von Plato
2005 J jnl
Normal derivability in modal logic.
Math. Log. Q.
Jan von Plato
2005 — ch.
The duality of lcassical and constructive notions and proofs.
From sets and types to topology and analysis
Sara Negri, Jan von Plato
2004 J jnl
Proof systems for lattice theory.
Math. Struct. Comput. Sci.
Sara Negri, Jan von Plato
2004 J jnl
Proof-theoretical analysis of order relations.
Arch. Math. Log.
Sara Negri, Jan von Plato, Thierry Coquand
2003 J jnl
Rereading Gentzen.
Synth.
Jan von Plato
2003 J jnl
Skolem's Discovery of Gödel-Dummett Logic.
Stud Logica
Jan von Plato
2003 J jnl
Translations from natural deduction to sequent calculus.
Math. Log. Q.
Jan von Plato
2001 J jnl
A proof of Gentzen's Hauptsatz without multicut.
Arch. Math. Log.
Jan von Plato
2001 J jnl
Natural deduction with general elimination rules.
Arch. Math. Log.
Jan von Plato
2001 J jnl
Sequent Calculus in Natural Deduction Style.
J. Symb. Log.
Sara Negri, Jan von Plato
2001 — book
Structural proof theory.
Sara Negri, Jan von Plato
2000 J jnl
A Problem of Normal Form in Natural Deduction.
Math. Log. Q.
Jan von Plato
1999 J jnl
Order in open intervals of computable reals.
Math. Struct. Comput. Sci.
Jan von Plato
1998 J jnl
Cut elimination in the presence of axioms.
Bull. Symb. Log.
Sara Negri, Jan von Plato
1998 B conf
From Kripke Models to Algebraic Counter-Valuations.
TABLEAUX
Sara Negri, Jan von Plato
1997 J jnl
Formalization of Hilbert's Geometry of incidence and Parallelism.
Synth.
Jan von Plato
1995 — conf
Organization and Development of a Constructive Axiomatization.
TYPES
Jan von Plato
1995 J jnl
The Axioms of Constructive Geometry.
Ann. Pure Appl. Log.
Jan von Plato