Semantic investigation of canonical Gödel hypersequent systems | OUP Journals & Magazine | IEEE Xplore