1. Infinite-valued Gödel logics with 0-1-projections and relativizations;Baaz,1996
2. A Schütte-Tait style cut-elimination proof for first-order Gödel logic;Baaz,2002
3. Herbrand’s theorem for prenex Gödel logic and its consequences for theorem proving;Baaz,2001
4. Quantified propositional Gödel logic;Baaz,2000
5. Hypersequent calculi for Gödel logics—a survey;Baaz;Journal of Logic and Computation,2003