Jan von Plato

	2008
17		Jan von Plato: Gentzen's Proof of Normalization for Natural Deduction. Bulletin of Symbolic Logic 14(2): 240-257 (2008)
	2007
16		Jan von Plato: In the Shadows of the Löwenheim-Skolem Theorem: Early Combinatorial Analyses of Mathematical Proofs. Bulletin of Symbolic Logic 13(2): 189-225 (2007)
	2005
15		Jan von Plato: A Constructive Approach to Sylvester's Conjecture. J. UCS 11(12): 2165-2178 (2005)
14		Jan von Plato: Normal derivability in modal logic. Math. Log. Q. 51(6): 632-638 (2005)
	2004
13		Sara Negri, Jan von Plato, Thierry Coquand: Proof-theoretical analysis of order relations. Arch. Math. Log. 43(3): 297-310 (2004)
12		Sara Negri, Jan von Plato: Proof systems for lattice theory. Mathematical Structures in Computer Science 14(4): 507-526 (2004)
	2003
11		Jan von Plato: Translations from natural deduction to sequent calculus. Math. Log. Q. 49(5): 435-443 (2003)
10		Jan von Plato: Skolem's Discovery of Gödel-Dummett Logic. Studia Logica 73(1): 153-157 (2003)
	2001
9		Jan von Plato: A proof of Gentzen's Hauptsatz without multicut. Arch. Math. Log. 40(1): 9-18 (2001)
8		Jan von Plato: Natural deduction with general elimination rules. Arch. Math. Log. 40(7): 541-567 (2001)
7		Sara Negri, Jan von Plato: Sequent Calculus in Natural Deduction Style. J. Symb. Log. 66(4): 1803-1816 (2001)
	2000
6		Jan von Plato: A Problem of Normal Form in Natural Deduction. Math. Log. Q. 46(1): 121-124 (2000)
	1999
5		Jan von Plato: Order in open intervals of computable reals. Mathematical Structures in Computer Science 9(1): 103-108 (1999)
	1998
4		Sara Negri, Jan von Plato: From Kripke Models to Algebraic Counter-Valuations. TABLEAUX 1998: 247-261
3		Sara Negri, Jan von Plato: Cut elimination in the presence of axioms. Bulletin of Symbolic Logic 4(4): 418-435 (1998)
	1995
2		Jan von Plato: Organization and Development of a Constructive Axiomatization. TYPES 1995: 288-296
1		Jan von Plato: The Axioms of Constructive Geometry. Ann. Pure Appl. Logic 76(2): 169-200 (1995)

Coauthor Index

1	Thierry Coquand	[13]
2	Sara Negri	[3] [4] [7] [12] [13]