N系统:一个自然时序演绎系统 |
| |
引用本文: | 黎仁蔚.N系统:一个自然时序演绎系统[J].科学通报,1988,33(6):401-401. |
| |
作者姓名: | 黎仁蔚 |
| |
作者单位: | 中国科学院软件研究所 北京 |
| |
摘 要: | 近年来,时序逻辑已成为程序和动态信息系统的描述与验证的一个强有力的工具。本文提出了一个可以很容易扩展到其它时序情形的命题时序逻辑的自然演绎系统——N系统。在N系统内,推理规则分成两组:水平推理规则和垂直推理规则。
|
本文献已被 CNKI 等数据库收录! |
| 点击此处可从《科学通报》浏览原始摘要信息 |
| 点击此处可从《科学通报》下载免费的PDF全文 |
|