摘要
通过在三值结构中引入“三值相等关系”,获得并证明了带等词的“中介”谓词逻辑演算ME~*的三值特征定理:可靠性与完全性定理。
The soundness theorem and the completeness theorem for 'medium Logic ME are proved in this paper by introducing three-valued equality relations and three-valued structures.
出处
《贵州大学学报（自然科学版）》
1989年第4期193-200,共8页
Journal of Guizhou University:Natural Sciences
基金
国家自然科学基金资助课题
关键词
中介逻辑ME^＊
三值相等关系
等词
'medium' logic ME, three-valued equality relations, three-valued structures, soundness and completeness.
