| |
| 2005 | ||
|---|---|---|
| 15 | EE | Jan von Plato: A Constructive Approach to Sylvester's Conjecture. J. UCS 11(12): 2165-2178 (2005) |
| 14 | EE | Jan von Plato: Normal derivability in modal logic. Math. Log. Q. 51(6): 632-638 (2005) |
| 2004 | ||
| 13 | EE | Sara Negri, Jan von Plato, Thierry Coquand: Proof-theoretical analysis of order relations. Arch. Math. Log. 43(3): 297-310 (2004) |
| 12 | EE | Sara Negri, Jan von Plato: Proof systems for lattice theory. Mathematical Structures in Computer Science 14(4): 507-526 (2004) |
| 2003 | ||
| 11 | EE | 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 | EE | Jan von Plato: A proof of Gentzen's Hauptsatz without multicut. Arch. Math. Log. 40(1): 9-18 (2001) |
| 8 | EE | 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 | EE | 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 | EE | Sara Negri, Jan von Plato: From Kripke Models to Algebraic Counter-Valuations. TABLEAUX 1998: 247-261 |
| 3 | EE | Sara Negri, Jan von Plato: Cut elimination in the presence of axioms. Bulletin of Symbolic Logic 4(4): 418-435 (1998) |
| 1995 | ||
| 2 | EE | 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) | |
| 1 | Thierry Coquand | [13] |
| 2 | Sara Negri | [3] [4] [7] [12] [13] |