Proof Systems for Gödel Logics with an Involution | IEEE Conference Publication | IEEE Xplore