Dusan Guller. Expanding Gödel Logic with Truth Constants and the Equality, Strict Order, Delta Operators. In Juan Julián Merelo Guervós, Agostinho C. Rosa, José Manuel Cadenas, António Dourado Correia, Kurosh Madani, António E. Ruano, Joaquim Filipe, editors, Computational Intelligence - International Joint Conference, IJCCI 2015 Lisbon, Portugal, November 12-14, 2015, Revised Selected Papers. Volume 669 of Studies in Computational Intelligence, pages 241-269, Springer, 2015. [doi]
Abstract is missing.