Completeness of a Hypersequent Calculus for Some First-order Godel Logics with Delta | IEEE Conference Publication | IEEE Xplore