1. M. Baaz, A. Leitsch, and R. Zach, Incompleteness of a first-order Gödel logic and some temporal logics of programs. In: Proc. CSL'95 (Paderborn), pp. 1-15 (Springer 1996).
2. M. Baaz, N. Preining, and R. Zach, Characterization of the axiomatizable prenex fragments of Gödel logic. In: Proc. 33 ISMVL Tokyo, pp. 175-180 (2003).
3. First-order Gödel logics;Baaz;Annals Pure Appl. Logic,2007
4. Note on witnessed Gödel logics with Delta;Baaz;Annals Pure Appl. Logic,2009
5. P. Hájek, Metamathematics of Fuzzy Logic (Kluwer, 1998).