JAIST Repository > Research Center for Integrated Science 2007-2016 > Articles >
Chapter VII: Gödel-Dummett Logic