|
|||||
|
|
| 一阶时态逻辑(带等词)的一个完备性定理 | |
| 引用本文： | 唐同诰.一阶时态逻辑(带等词)的一个完备性定理[J].中国科学A辑,1985,28(1):59-66. |
| 作者姓名： | 唐同诰 |
| 作者单位： | 复旦大学计算机科学系 上海 |
| 摘 要： | 一阶时态逻辑是由计算机科学的发展而建立起来的一门逻辑,它是模态逻辑和时态逻辑的一个发展,同时,一阶时态逻辑还具有谓词演算的功能,本文的目的是:为具有广泛应用的带等词的一阶时态逻辑奠定一个基础,建立一个完备性定理。 |
| 点击此处可从《中国科学A辑》浏览原始摘要信息 | |
| 点击此处可从《中国科学A辑》下载免费的PDF全文 | |