1. Herbrand’s Theorem for prenex Gödel logic and its consequences for theorem proving;Baaz,2001
2. Analytic calculi for monoidal t-norm based logic;Baaz;Fundamenta Informaticae,2004
3. Gentzen calculi for the existence predicate;Baaz;Studia Logica,2006
4. On the Skolemization of existential quantifiers in intuitionistic logic;Baaz;Annals of Pure and Applied Logic,2006
5. On Skolemization in constructive theories;Baaz;Journal of Symbolic Logic,2008