收藏本站
《1993年逻辑研究专辑》1993年
收藏 | 手机打开
二维码
手机客户端打开本文

协调性质与无穷逻辑几个公理化系统的完全性

李小五  
【摘要】:正协调性质(consistency property)这个概念最早由R.M.Smullyan在1963年提出,为的是解决古典一阶逻辑的一些问题。H.J.Keisler在70年代初讨论了协调性质与语言L■1■的
【作者单位】:中国社会科学院哲学研究所
【分类号】:B812

【相似文献】
中国期刊全文数据库 前10条
1 李娜;模态系统P_1的协调性[J];信阳师范学院学报(哲学社会科学版);2005年03期
2 高恒珊;量词模态逻辑的代数语义学(Ⅲ)──关于不含Barcan公式的正规模态系统的情形[J];数学学报;1995年04期
3 邓雄雁;胡泽洪;;协调、一致与一阶公理系统的强完全性[J];华南师范大学学报(社会科学版);2010年03期
4 王庆平;张兴芳;高芹;;一阶模糊谓词逻辑公式的可测集解释真度理论[J];聊城大学学报(自然科学版);2007年03期
5 任秋云;陶景侃;;标准模态逻辑的判定方法和完全性[J];兰州大学学报(社会科学版);1993年03期
6 高恒珊,吕健安;量词模态逻辑的代数语义学(Ⅳ,上)──关于含BARCAN公式的非正规模态系统情形[J];哲学研究;1998年12期
7 张清宇;;A命题的系统[J];毕节学院学报;2010年11期
8 费定舟;心灵与机器的界线[J];自然辩证法研究;2004年09期
9 杜珊;;评三值逻辑SLO[J];科学文化评论;2006年04期
10 杜国平;;知识蕴涵逻辑系统[J];逻辑学研究;2008年02期
中国重要会议论文全文数据库 前10条
1 李小五;;协调性质与无穷逻辑几个公理化系统的完全性[A];1993年逻辑研究专辑[C];1993年
2 张清宇;;弗协调逻辑系统Zn和ZnUS[A];理有固然——纪念金岳霖先生百年诞辰[C];1995年
3 李小五;;对策语义与无穷深逻辑[A];逻辑今探——中国逻辑学会第五次代表大会暨学术讨论会论文集[C];1996年
4 李小五;;无穷逻辑简史[A];1997年逻辑研究专辑[C];1997年
5 李小五;;加标动态逻辑及其若干应用[A];2005年逻辑研究专辑[C];2005年
6 彭展;;一阶谓词系统的独立性[A];2004年逻辑研究专辑[C];2004年
7 郝兆宽;;论TRS的交汇性[A];2000年逻辑研究专辑[C];2000年
8 熊明;;古典谓词归纳逻辑的构造[A];2001年逻辑研究专辑[C];2001年
9 李小五;刘壮虎;;命题型的择类语义与主次条件句逻辑[A];2004年逻辑研究专辑[C];2004年
10 郭美云;;一般群体知识的多主体认知逻辑[A];2005年逻辑研究专辑[C];2005年
中国博士学位论文全文数据库 前2条
1 胡明娣;逻辑度量空间的内蕴结构的研究[D];陕西师范大学;2011年
2 王庆平;逻辑度量空间中的仿射变换和几类特殊公式的性态研究及其应用[D];陕西师范大学;2012年
中国硕士学位论文全文数据库 前6条
1 唐芳芳;哥德尔定理的意义[D];清华大学;2005年
2 徐育;逻辑规律作用探析[D];山西大学;2010年
3 高香妮;命题逻辑系统中理论的真度概念及其应用[D];陕西师范大学;2010年
4 朱江峰;回答集最优化逻辑程序研究[D];中山大学;2010年
5 陈珊;核证逻辑研究[D];中国社会科学院研究生院;2011年
6 赵新波;论可能世界的哲学问题[D];燕山大学;2012年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026