The Variant Gentzen System for the Propositional Logic | IEEE Conference Publication | IEEE Xplore