《复旦学报(自然科学版)》1985年02期 加入收藏    获取最新 
 带等词的一阶时态逻辑系统
 唐同诰
 　　<正> 在文献[1]里,我们已建立了一种新的逻辑系统——一阶时态逻辑,并介绍了它在程序理论中应用的基本方法.在程序理论和数学中使用的一阶时态逻辑应该是带有等词的.为此,本文对带等词的一阶时态逻辑系统进行深入的考察,从获得的结果可以证实:带等词的一阶时态逻辑具有古典逻辑和普通时态逻辑两方面的演算功能.这也为今后开展程序语言语义学的研究提供了一个有效的工具.
【DOI】：CNKI:ISSN:0427-7104.0.1985-02-010
【正文快照】：
　　在文献〔1〕里,我们已建立了一种新的逻辑系统—一阶时态逻辑,并介绍了它在程序理论中应用的基本方法.在程序理论和数学中使用的一阶时态逻辑应该是带有等词的.为此,本文对带等词的一阶时态逻辑系统进行深入的考察,从获得的结果可以证实:带等词的一阶时态逻辑具有古典逻辑和普
 
 推荐 下载CAJ全文           下载PDF全文
 CAJViewer7.0阅读器支持所有CNKI文件格式，AdobeReader仅支持PDF格式
 【参考文献】 共（1）篇 
 中国期刊全文数据库找到 1 条
 
1唐同诰 ,张霭珠; 一阶时态逻辑系统及其在程序中的一个应用 [J]; 复旦学报(自然科学版); 1984年01期
 【共引文献】 共（3）篇 
 中国期刊全文数据库找到 3 条
 
1唐同诰; 一阶时态逻辑(带等词)的一个完备性定理 [J]; 中国科学A辑; 1985年01期
2唐同诰; A COMPLETENESS THEOREM OF FIRST-ORDER TEMPORAL LOGIC WITH EQUALITY [J]; Science in China,Ser.A; 1985年05期
3唐同诰,张霭珠; 现代逻辑的一个规范化理论——一阶时态逻辑 [J]; 数学学报; 1987年02期
 【相似文献】 
 中国期刊全文数据库
 
1唐同诰; 带等词的一阶时态逻辑系统 [J];复旦学报(自然科学版); 1985年02期; 60-64
2冯玉琳; 程序验证的一个逻辑系统 [J];自然杂志; 1980年11期; 75-76
3李未; 一个开放的逻辑系统 [J];中国科学A辑; 1992年10期; 97-107
4钱磊; 中介逻辑系统ML的相容性证明 [J];模糊系统与数学; 1987年00期; 141-153
5冉太模; m值命题逻辑系统的紧性定理 [J];数学季刊; 1987年02期; 85-88
6马华孝; 2~3值逻辑系统的基本运算规则与物理模型 [J];四川大学学报(工程科学版); 1986年03期; 34-39+45
7马巧云,吴洪博; 逻辑系统W,W,W_n中的广义矛盾式 [J];西安文理学院学报(自然科学版); 2006年03期; 78-81
8唐同诰 ,张霭珠; 一阶时态逻辑系统及其在程序中的一个应用 [J];复旦学报(自然科学版); 1984年01期; 38-47
9胡鹤,杜小勇; 一种基于区间模糊理论的描述逻辑系统 [J];华中科技大学学报(自然科学版); 2005年S1期; 287-289
10朱怡权; 基于FI-代数的一个逻辑系统 [J];模糊系统与数学; 2005年02期; 29-33
 中国优秀硕士学位论文全文数据库
 
1马晓珏; IMTL逻辑系统及IMTL-代数 [D];陕西师范大学; 2004年
2袁和军; 模糊推理的形式化理论 [D];陕西师范大学; 2002年
3李丽; 模糊时序命题逻辑系统的语义 [D];辽宁师范大学; 2005年
4任燕; 命题集的相容性、根及发散性 [D];陕西师范大学; 2004年
5茹永梅; 经典逻辑系统（？）中的MT问题及公式的真度理论 [D];陕西师范大学; 2006年
6吴凤干; 直觉模糊命题逻辑系统的语义 [D];辽宁师范大学; 2005年
7孟艳平; 扰动模糊命题逻辑系统的语义 [D];辽宁师范大学; 2005年
8李立峰; Lukasiewicz逻辑系统中的模糊推理及模糊概念格的属性约简 [D];陕西师范大学; 2006年
9罗清君; IL型三I算法及其还原性和R_0代数中的滤子格 [D];陕西师范大学; 2006年
10李璧镜; Lukasiweicz逻辑系统中公式的真度理论和逻辑度量空间 [D];陕西师范大学; 2006年
 中国博士学位论文全文数据库
 
1韩诚; R_0代数及Vague集的相似度理论 [D];陕西师范大学; 2006年
2李文江; 基于格蕴涵代数的广义格值模态逻辑及其归结自动推理的研究 [D];西南交通大学; 2002年
3李志伟; 偏序集上的蕴涵代数 [D];首都师范大学; 2002年
 中国重要会议论文全文数据库
 
1陈永义; NF逻辑系统 [A];中国系统工程学会模糊数学与模糊系统委员会第五届年会论文选集 [C]; 1990年
2王国俊; Fuzzy逻辑与有序代数 [A];中国系统工程学会模糊数学与模糊系统委员会第十一届年会论文选集 [C]; 2002年
3霍书全,鞠实儿; SLO的代数结构 [A];开放类逻辑论文集 [C]; 2004年
4朱剑英,肖奚安,朱梧槚; 关于中介逻辑演算系统的发展及其语义学研究情况综述 [A];中国系统工程学会模糊数学与模糊系统委员会第五届年会论文选集 [C]; 1990年
5刘军,马骏; 格值逻辑系统LP(X)的推理性质讨论 [A];模糊集理论与应用——98年中国模糊数学与模糊系统委员会第九届年会论文选集 [C]; 1998年
6陈图云,陈文丽; 修正的Atanassov逻辑及其广义重言式 [A];中国系统工程学会模糊数学与模糊系统委员会第十一届年会论文选集 [C]; 2002年