Gödel logics with an operator shifting truth values

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]

Authors

Matthias Baaz

This author has not been identified. Look up 'Matthias Baaz' in Google

Oliver Fasching

This author has not been identified. Look up 'Oliver Fasching' in Google