《中国科学A辑》1985年01期 加入收藏    获取最新 
 一阶时态逻辑(带等词)的一个完备性定理
 唐同诰
 　　一阶时态逻辑是由计算机科学的发展而建立起来的一门逻辑,它是模态逻辑和时态逻辑的一个发展,同时,一阶时态逻辑还具有谓词演算的功能,本文的目的是:为具有广泛应用的带等词的一阶时态逻辑奠定一个基础,建立一个完备性定理。
【作者单位】：复旦大学计算机科学系 上海
【DOI】：cnki:ISSN:1006-9232.0.1985-01-006
【正文快照】：
　　一、引言一阶时态理论的一阶语言穿含有以下一些符号:变元:x。,x工,·…把它们分成若干个不同类的子序列: xoo,xoa,‘”;x 10,义11, 函数符:一些(,,,…,i,,阴)类的,元函数符. 谓词符:一些(11,…,i。)类的n目谓词符(包括等词). 逻辑符:飞,V,以及一些。秩(必然性)时态算子符(包括
 
 推荐 下载CAJ全文           下载PDF全文
 CAJViewer7.0阅读器支持所有CNKI文件格式，AdobeReader仅支持PDF格式
 【参考文献】 共（1）篇 
 中国期刊全文数据库找到 1 条
 
1唐同诰 ,张霭珠; 一阶时态逻辑系统及其在程序中的一个应用 [J]; 复旦学报(自然科学版); 1984年01期
 【引证文献】 共（2）篇 
 中国期刊全文数据库找到 2 条
 
1唐同诰; 逻辑化的指称语义学 [J]; 复旦学报(自然科学版); 1989年02期
2林作铨,李未; 参态逻辑 [J]; 中国科学A辑; 1995年04期
 【共引文献】 共（2）篇 
 中国期刊全文数据库找到 2 条
 
1唐同诰; 带等词的一阶时态逻辑系统 [J]; 复旦学报(自然科学版); 1985年02期
2唐同诰; A COMPLETENESS THEOREM OF FIRST-ORDER TEMPORAL LOGIC WITH EQUALITY [J]; Science in China,Ser.A; 1985年05期
 【同被引文献】 共（2）篇 
 中国期刊全文数据库找到 2 条
 
1唐同诰 ,张霭珠; 一阶时态逻辑系统及其在程序中的一个应用 [J]; 复旦学报(自然科学版); 1984年01期
2马希文,郭维德; W—JS有关“知道”的模态逻辑 [J]; 计算机研究与发展; 1982年12期
 【相似文献】 
 中国期刊全文数据库
 
1唐同诰; 一阶时态逻辑(带等词)的一个完备性定理 [J];中国科学A辑; 1985年01期; 61-68
2朱洪,唐同诰; 基本的一阶时态逻辑的一个完备性定理 [J];贵州大学学报(自然科学版); 1986年01期; 8-13
3潘正华; 中介命题逻辑MP的完备性 [J];自然杂志; 1989年07期; 77
4刘作述; 关于Fuzzy弱收敛的完备性定理 [J];四川大学学报(自然科学版); 1980年04期; 12-19
5王国俊; 一阶逻辑完备性定理的代数证明 [J];陕西师范大学学报(自然科学版); 2002年04期; 11-15
6唐同诰 ,张霭珠; 一阶时态逻辑系统及其在程序中的一个应用 [J];复旦学报(自然科学版); 1984年01期; 38-47
7邹晶; 中介逻辑的命题演算系统的可判定性 [J];自然杂志; 1989年08期; 75-76
8潘正华; 中介谓词逻辑MF完备性的一些结果 [J];曲阜师范大学学报(自然科学版); 1988年04期; 51-53
9魏代俊,陆炳新,彭越; 蛛网模型稳定性条件的推广 [J];湖北民族学院学报(自然科学版); 2005年04期; 24-26
10王国俊,钱桂生,党创寅; 命题演算系统L~*与谓词演算系统κ~*中统一的近似推理理论 [J];中国科学E辑; 2004年10期; 31-43
 中国优秀硕士学位论文全文数据库
 
1谭莉; MV-代数上的概率和期望及相关性质的研究 [D];西南交通大学; 2005年
 中国博士学位论文全文数据库
 
1韩诚; R_0代数及Vague集的相似度理论 [D];陕西师范大学; 2006年
 中国重要会议论文全文数据库
 
1刘新; 10FL中(μ,ν)-归结原理的完备性 [A];模糊集理论与模糊应用专辑——中国系统工程学会模糊数学与模糊系统委员会第十届年会论文选集 [C]; 2000年
2刘新,邹丽; 直觉模糊时态逻辑 [A];模糊集理论与应用——98年中国模糊数学与模糊系统委员会第九届年会论文选集 [C]; 1998年
3周华任,徐艳,李世楷; 集值平方可积鞅 [A];2006“数学技术应用科学” [C]; 2006年