|
|||||
|
|
| 关于断言的缺省逻辑 | |
| 引用本文： | 苏开乐,丁德成.关于断言的缺省逻辑[J].中国科学A辑,1994,37(6):645-652. |
| 作者姓名： | 苏开乐 丁德成 |
| 作者单位： | 南京大学数学系 南京210008 |
| 摘 要： | 在Brewka提出的一种修正的缺省逻辑的基础上,对Reiter原来缺省逻辑作了推广,得到了一种关于断言的缺省逻辑,并证明Brewka修正的缺省逻辑就是一种特殊的关于断言的正规缺省逻辑。 |
| 关 键 词： | 缺省逻辑 断言 正规缺省 |
| 点击此处可从《中国科学A辑》浏览原始摘要信息 | |
| 点击此处可从《中国科学A辑》下载免费的PDF全文 | |