辩证逻辑形式化的新进展——对张金成系统Z的评价与补证

辩证逻辑形式化的新进展——对张金成系统Z的评价与补证发布时间：1992-11-06 点击数：

作　者： 陈晓平桂起权
关键词：
摘　要：

本文从系统Z与传统辩证法、经典逻辑、次协调逻辑的相互关系着手(特别从句法和语义角度加以考虑),评价系统Z对辩证逻辑形式化的开拓性作用。还给出了系统Z原先所缺少的语义完全性的证明。

[PDF]（下载数：）