Dusan Guller. Unsatisfiable Formulae of Gödel Logic with Truth Constants and \varDelta Are Recursively Enumerable. In Juan Julián Merelo Guervós, Agostinho C. Rosa, José Manuel Cadenas, António Dourado, Kurosh Madani, Joaquim Filipe, editors, Computational Intelligence - International Joint Conference, IJCCI 2014 Rome, Italy, October 22-24, 2014 Revised Selected Papers. Volume 620 of Studies in Computational Intelligence, pages 213-234, Springer, 2014. [doi]
Abstract is missing.