Dusan Guller. On the Satisfiability and Validity Problems in the Propositional Gödel Logic. In Kurosh Madani, António Dourado Correia, Agostinho C. Rosa, Joaquim Filipe, editors, Computational Intelligence - Revised and Selected Papers of the International Joint Conference, IJCCI 2010, Valencia, Spain, October 2010. Volume 399 of Studies in Computational Intelligence, pages 211-227, Springer, 2010. [doi]
Abstract is missing.