An Order Hyperresolution Calculus for Gödel Logic with Truth Constants Topics: Mathematical Foundations: Fuzzy Set Theory and Fuzzy Logic In Proceedings of the International Conference on Fuzzy Computation Theory and Applications - Volume 1: FCTA, 37-52, 2014, Rome, Italy