收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

含自指性谓词的谓词演算系统

霍全生  
【摘要】:正含自指性谓词的谓词演算的形式语言如下: 初始符号 1.变号:x,y,z,…;2.联结词: (?),∧,∨,→,(?),(?);3.技术性符号1(,),:,/。通常公式(用α,β,(?)等表示) 1.y(x)是通常公式;2.如果α是通常公式。则()α是通常公式;3.如果α,β是通常公式,则α∧β,α∨β,α→β是通常公式;4.如果α是通常公式,x不是α的谓词变项,则 (?)xα,(?)xα是通常公式。

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 魏屹东;;心理表征隐喻与框架问题[J];学术月刊;2011年04期
2 ;[J];;年期
3 ;[J];;年期
4 ;[J];;年期
5 ;[J];;年期
6 ;[J];;年期
7 ;[J];;年期
8 ;[J];;年期
9 ;[J];;年期
10 ;[J];;年期
11 ;[J];;年期
12 ;[J];;年期
13 ;[J];;年期
14 ;[J];;年期
15 ;[J];;年期
16 ;[J];;年期
17 ;[J];;年期
18 ;[J];;年期
19 ;[J];;年期
20 ;[J];;年期
中国重要会议论文全文数据库 前10条
1 霍全生;;含自指性谓词的谓词演算系统[A];1996年逻辑研究专辑[C];1996年
2 张纪会;徐心和;;一类受控Petri网的广义互斥反馈控制综合方法[A];1997年中国控制会议论文集[C];1997年
3 毛宇光;徐洁磐;刘滔;周勇;;用于不完全信息数据库的中介逻辑演算系统MP~M[A];第十八届全国数据库学术会议论文集(研究报告篇)[C];2001年
4 朱剑英;肖奚安;朱梧槚;;关于中介逻辑演算系统的发展及其语义学研究情况综述[A];中国系统工程学会模糊数学与模糊系统委员会第五届年会论文选集[C];1990年
5 庞善起;秦克云;赵希顺;王雪生;;模糊逻辑与二值逻辑[A];模糊数学和系统成果会论文集[C];1991年
6 陶景侃;;行为规范逻辑Qd系统[A];1993年逻辑研究专辑[C];1993年
7 王颖;张伟磊;艾波;;SDL的静态语义定义研究[A];开创新世纪的通信技术——第七届全国青年通信学术会议论文集[C];2001年
8 龙荣;赵建民;朱信忠;徐慧英;;移动计算中灰箱演算的若干问题探讨[A];2006年全国理论计算机科学学术年会论文集[C];2006年
9 王东临;;关于逻辑的几个问题[A];1994年逻辑研究专辑[C];1994年
10 毕富生;;关于“逻辑真"的再思考[A];1997年逻辑研究专辑[C];1997年
中国博士学位论文全文数据库 前2条
1 洪龙;中介真值程度的度量及其在计算机系统结构研究中的应用[D];南京航空航天大学;2006年
2 王立松;基于资源的访问控制理论与应用研究[D];南京航空航天大学;2010年
中国硕士学位论文全文数据库 前10条
1 高静;面向环境演算系统的模型检测算法的研究[D];南京航空航天大学;2009年
2 黄金华;正规模态逻辑的自然演绎及其证明论性质探微[D];华南师范大学;2007年
3 徐雯霞;MP~M中介代数的研究[D];江南大学;2009年
4 曹汝鸣;不完全信息数据库的理论研究[D];南京航空航天大学;2006年
5 张红杰;BL~*系统的一种扩张系统及命题演算系统中公式的矛盾度理论[D];陕西师范大学;2008年
6 史璟;试论逻辑语言的发展[D];河南大学;2006年
7 岳雪梅;不完全信息数据库的理论及应用研究[D];南京航空航天大学;2007年
8 王红旗;Mobile Ambients行为理论的研究[D];南京航空航天大学;2008年
9 齐正霞;嵌入式电子海图系统软件重构方法研究[D];哈尔滨工程大学;2007年
10 盛作国;蕴涵理论研究[D];贵州大学;2008年
中国重要报纸全文数据库 前4条
1 黄中办;“小程序”演算大洪水[N];中国水利报;2001年
2 陈志洁 郑树明;创新水文的灵魂[N];中国水利报;2003年
3 孟宪荣;黄委中游水文局彰显人文关怀[N];中国水利报;2004年
4 宁莉娜;从非日常思维的价值维度看逻辑方法的走向[N];光明日报;2004年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978