Strong Congruence Relations and Deductive Systems in BL Propositional Logic System
CUI Yanli, LIANG Ying, WU Hongbo
Journal of Jilin University Science Edition . 2018, (2): 237 -241 .