JAIST Repository > Research Center for Integrated Science 2007-2016 >
Chapter VII: Gödel-Dummett Logic
The exact import price and its implications for the US external imbalance
Interpolation Properties, Beth Definability Properties and Amalgamation Properties for Substructural Logic
Logics without the contraction rule and residuated lattices
Glivenko theorems revisited