The Extension of Hypothesis in Propositional LogicQian Guo and An-Sheng DengITM Web Conf., 7 (2016) 06001DOI: https://doi.org/10.1051/itmconf/20160706001
