逻辑系统MTL <font face="Verdana"><sub>▽</sub></font>及其完备性

逻辑系统MTL _▽及其完备性

时慧娴 ¹，王国俊 ^1，2

Logic system MTL _▽and its completeness

SHI Huixian ¹，WANG Guojun ^1，2

计算机工程与应用 . 2011, (6): 30 -33 .