| |
| 2008 | ||
|---|---|---|
| 6 | EE | Matthias Baaz, Norbert Preining: Quantifier Elimination for Quantified Propositional Logics on Kripke Frames of Type omega. J. Log. Comput. 18(4): 649-668 (2008) |
| 2007 | ||
| 5 | EE | Matthias Baaz, Norbert Preining, Richard Zach: First-order Gödel logics. Ann. Pure Appl. Logic 147(1-2): 23-47 (2007) |
| 2006 | ||
| 4 | EE | Matthias Baaz, Norbert Preining, Richard Zach: Completeness of a Hypersequent Calculus for Some First-order Godel Logics with Delta. ISMVL 2006: 9 |
| 2003 | ||
| 3 | EE | Matthias Baaz, Norbert Preining, Richard Zach: Characterization of the Axiomatizable Prenex Fragments of First-Order Gödel Logics. ISMVL 2003: 175-180 |
| 2002 | ||
| 2 | EE | Norbert Preining: Gödel Logics and Cantor-Bendixon Analysis. LPAR 2002: 327-336 |
| 1997 | ||
| 1 | Norbert Preining: Sketch-as-Proof. Kurt Gödel Colloquium 1997: 264-277 | |
| 1 | Matthias Baaz | [3] [4] [5] [6] |
| 2 | Richard Zach | [3] [4] [5] |