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]
@inproceedings{BaazF10-0,
title = {Gödel logics with an operator shifting truth values},
author = {Matthias Baaz and Oliver Fasching},
year = {2010},
url = {http://www.easychair.org/publications/?page=1892702142},
researchr = {https://researchr.org/publication/BaazF10-0},
cites = {0},
citedby = {0},
pages = {13-14},
booktitle = {Short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning, LPAR-17-short, Yogyakarta, Indonesia, October 10-15, 2010},
editor = {Andrei Voronkov and Geoff Sutcliffe and Matthias Baaz and Christian G. Fermüller},
volume = {13},
series = {EPiC Series},
publisher = {EasyChair},
}