带等词的一阶时态逻辑系统 |
| |
引用本文: | 唐同诰.带等词的一阶时态逻辑系统[J].复旦学报(自然科学版),1985(2). |
| |
作者姓名: | 唐同诰 |
| |
摘 要: | 在文献1]里,我们已建立了一种新的逻辑系统——一阶时态逻辑,并介绍了它在程序理论中应用的基本方法.在程序理论和数学中使用的一阶时态逻辑应该是带有等词的.为此,本文对带等词的一阶时态逻辑系统进行深入的考察,从获得的结果可以证实:带等词的一阶时态逻辑具有古典逻辑和普通时态逻辑两方面的演算功能.这也为今后开展程序语言语义学的研究提供了一个有效的工具.
|
本文献已被 CNKI 等数据库收录! |
|