Matthias Baaz, Norbert Preining, Richard Zach. Completeness of a Hypersequent Calculus for Some First-order Godel Logics with Delta. In 36th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2006), 17-20 May 2006, Singapore. pages 9, IEEE Computer Society, 2006. [doi]
Abstract is missing.