TY - 《山东大学学报(理学版)》 A1 - 周建仁1,2,吴洪博2* T1 - IMTL逻辑代数的一种新强化形式 Y1 - 2014-04-20 JF - 《山东大学学报(理学版)》 JO - 《山东大学学报(理学版)》 SP - 84 EP - 89 VL - 49 IS - 04 UR - http://lxbwk.njournal.sdu.edu.cn N1 - 10.6040/j.issn.1671-9352.0.2013.291 ER -