| 带等词的“中介”谓词逻辑演算ME^＊的三值特征定理 |
| |
| 引用本文： | 李广元,李祥.带等词的“中介”谓词逻辑演算ME^＊的三值特征定理[J].贵州大学学报(自然科学版),1989,6(4):193-200. |
| |
| 作者姓名： | 李广元 李祥 |
| |
| 作者单位： | 贵州大学数学系 贵阳 |
| |
| 基金项目： | 国家自然科学基金资助课题 |
| |
| 摘 要： | 通过在三值结构中引入“三值相等关系”,获得并证明了带等词的“中介”谓词逻辑演算ME~*的三值特征定理:可靠性与完全性定理。
|
| 关 键 词： | 中介逻辑ME^＊ 三值相等关系 等词 |
Soundness and Completeness Theorem for"Medium' Logic ME |
| |
| Li Guangyaun Li Xiang &.Soundness and Completeness Theorem for"Medium' Logic ME[J].Journal of Guizhou University(Natural Science),1989,6(4):193-200. |
| |
| Authors: | Li Guangyaun Li Xiang & |
| |
| Abstract: | 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. |
| |
| Keywords: | "medium" logic ME three-valued equality relations three-valued structures soundness and completeness |
| 本文献已被 CNKI 维普 等数据库收录！ |
