Jan von Plato

Publication Activity (10 Years)

Years Active: 1995-2018
Publications (10 Years): 2

Top Topics

Intuitionistic Logic

Natural Deduction

Top Venues

Bull. Symb. Log.

Rev. Symb. Log.

Publications

Jan von Plato
Kurt Gödel's First Steps in Logic: Formal Proofs in Arithmetic and Set Theory through a System of Natural Deduction. Bull. Symb. Log. 24 (3) (2018)
Jan von Plato
In Search of the Roots of Formal Computation. HaPoC (2015)
Jan von Plato
From Axiomatic Logic to Natural Deduction. Stud Logica 102 (6) (2014)
Jan von Plato
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. 20 (3) (2014)
Jan von Plato
Generality and existence: Quantificational Logic in Historical Perspective. Bull. Symb. Log. 20 (4) (2014)
Jan von Plato
Gentzen's proof systems: byproducts in a work of genius. Bull. Symb. Log. 18 (3) (2012)
Jan von Plato, Annika Siders
Normal Derivability in Classical Natural Deduction. Rev. Symb. Log. 5 (2) (2012)
Jan von Plato
A Sequent Calculus isomorphic to Gentzen's Natural Deduction. Rev. Symb. Log. 4 (1) (2011)
Jan von Plato
Combinatorial analysis of proofs in projective and affine geometry. Ann. Pure Appl. Log. 162 (2) (2010)
Jan von Plato
Gentzen's Proof of Normalization for Natural Deduction. Bull. Symb. Log. 14 (2) (2008)
Jan von Plato
In the Shadows of the Löwenheim-Skolem Theorem: Early Combinatorial Analyses of Mathematical Proofs. Bull. Symb. Log. 13 (2) (2007)
Jan von Plato
Normal derivability in modal logic. Math. Log. Q. 51 (6) (2005)
Jan von Plato
A Constructive Approach to Sylvester's Conjecture. J. Univers. Comput. Sci. 11 (12) (2005)
Sara Negri, Jan von Plato
Proof systems for lattice theory. Math. Struct. Comput. Sci. 14 (4) (2004)
Sara Negri, Jan von Plato, Thierry Coquand
Proof-theoretical analysis of order relations. Arch. Math. Log. 43 (3) (2004)
Jan von Plato
Translations from natural deduction to sequent calculus. Math. Log. Q. 49 (5) (2003)
Jan von Plato
Rereading Gentzen. Synth. 137 (1-2) (2003)
Jan von Plato
Skolem's Discovery of Gödel-Dummett Logic. Stud Logica 73 (1) (2003)
Jan von Plato
A proof of Gentzen's Hauptsatz without multicut. Arch. Math. Log. 40 (1) (2001)
Sara Negri, Jan von Plato
Sequent Calculus in Natural Deduction Style. J. Symb. Log. 66 (4) (2001)
Jan von Plato
Natural deduction with general elimination rules. Arch. Math. Log. 40 (7) (2001)
Jan von Plato
A Problem of Normal Form in Natural Deduction. Math. Log. Q. 46 (1) (2000)
Jan von Plato
Order in open intervals of computable reals. Math. Struct. Comput. Sci. 9 (1) (1999)
Sara Negri, Jan von Plato
Cut elimination in the presence of axioms. Bull. Symb. Log. 4 (4) (1998)
Sara Negri, Jan von Plato
From Kripke Models to Algebraic Counter-Valuations. TABLEAUX (1998)
Jan von Plato
Formalization of Hilbert's Geometry of incidence and Parallelism. Synth. 110 (1) (1997)
Jan von Plato
The Axioms of Constructive Geometry. Ann. Pure Appl. Log. 76 (2) (1995)
Jan von Plato
Organization and Development of a Constructive Axiomatization. TYPES (1995)