非经典形式系统Z和ZT之比较研究

张金成同志先后建立了两个非经典的形式系统Ｚ和ＺＴ（见①，②），他本人对两个系统的辩证含义及其间的区别和联系己作了扼要的说明。本文通过该两系统在刻划辩证法规律方面和语义模型上的异同比较研究，对辩证逻辑形式化研究中的疑难和发展前景提出了自己的看法。