Matthias Baaz, Oliver Fasching. Gödel logics with an operator shifting truth values. In Andrei Voronkov, Geoff Sutcliffe, Matthias Baaz, Christian G. Fermüller, editors, Short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning, LPAR-17-short, Yogyakarta, Indonesia, October 10-15, 2010. Volume 13 of EPiC Series, pages 13-14, EasyChair, 2010. [doi]
Abstract is missing.