| 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 |
