Gödel-Dummett Logic
   HOME