| 基于三值语义的非单调逻辑 |
| |
| 引用本文： | 林作铨.基于三值语义的非单调逻辑[J].汕头大学学报(自然科学版),1994,9(1):6-13. |
| |
| 作者姓名： | 林作铨 |
| |
| 作者单位： | 汕头大学计算机系 |
| |
| 基金项目： | 国家高技术八六三计划资助,国家基础研究攀登计划资助,国家自然科学基金,汕头大学李嘉诚学术基金 |
| |
| 摘 要： | 本文给出一种三值非单调逻辑形式，它一方面可推广标准非单调逻辑到三值情形，另一方面它能捕捉各种非单调逻辑作为特殊形式，特别地，我们证明了三值非单调逻辑与模态非单调逻辑具有密切的关系．
|
| 关 键 词： | 三值逻辑，模态逻辑，非单调逻辑 |
Nonmonotonic Logic Based on Three-Valued Semantics |
| |
| Lin Zuoquan.Nonmonotonic Logic Based on Three-Valued Semantics[J].Journal of Shantou University(Natural Science Edition),1994,9(1):6-13. |
| |
| Authors: | Lin Zuoquan |
| |
| Abstract: | in this paper we propose a three-valued formulation of nonmonotoniclogics.On the one hand,it can extend standared nonmonotonic logics into three-valued cases.On the other hand,it can capture various nommonotonic logics as its special cases.In particular,it is argued that three-valued nommonotonic logics are closely related to modal ones. |
| |
| Keywords: | three-valued logic modal logic monmonotonic logic |
| 本文献已被 CNKI 维普 等数据库收录！ |
