| 三值逻辑的Craig中插定理与Herbrand定理 |
| |
| 引用本文： | 李祥,李广元. 三值逻辑的Craig中插定理与Herbrand定理[J]. 贵州大学学报(自然科学版), 2003, 20(1): 1-8 |
| |
| 作者姓名： | 李祥 李广元 |
| |
| 作者单位： | 贵州大学计算机软件与理论研究所,贵州,贵阳,550025;陕西师范大学,陕西,西安,710062 |
| |
| 摘 要： | 作者获得并证明三值命题逻辑MP与MP^*、三值谓词逻辑MF与MF^*以及带等词的三值谓词逻辑ME与ME^*的Craig中插定理与Herbrand定理。
|
| 关 键 词： | 3值逻辑 Craig定理 Herbrand定理 |
| 文章编号： | 1000-5269(2003)01-0001-08 |
| 修稿时间： | 2002-01-15 |
On Craig Theorem and Herbrand Theorem for 3 Valued Logics |
| |
| LI Xiang,LI Guang-yuan. On Craig Theorem and Herbrand Theorem for 3 Valued Logics[J]. Journal of Guizhou University(Natural Science), 2003, 20(1): 1-8 |
| |
| Authors: | LI Xiang LI Guang-yuan |
| |
| Affiliation: | LI Xiang1,LI Guang-yuan2 |
| |
| Abstract: | Author show the Craig theorem and Herbrand theorem for The 3 valued logics MP,MP*,MF,MF*,ME and ME*. |
| |
| Keywords: | 3 valued logic Cragid theorem Herbrand therom |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
