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

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

李小五  
【摘要】:正协调性质(consistency property)这个概念最早由R.M.Smullyan在1963年提出,为的是解决古典一阶逻辑的一些问题。H.J.Keisler在70年代初讨论了协调性质与语言L■1■的

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 段宝利,赵俭,董汉英;游戏对提高和发展幼儿协调性的实验研究[J];西安体育学院学报;1999年02期
2 ;短跑[J];田径;2004年08期
3 高志毅;毛红庆;;现代舞训练的实效性探究[J];艺术教育;2009年12期
4 王慧杰;;西藏地区建筑色彩美的构成因素[J];西藏民族学院学报(哲学社会科学版);2011年01期
5 王琪;;名词审定工作的基本特点[J];中国科技术语;2011年03期
6 侯军,张军;健美操教学中协调性的培养[J];体育函授通讯;1998年01期
7 林哲生;遥遥;;冬日打球多热身[J];网球俱乐部;2009年01期
8 罗永仕;;科学合理性的建构与解构[J];科技进步与对策;2010年06期
9 沈佩伟;;论电影艺术中的音乐[J];电影文学;2010年16期
10 赖宏云;;音乐在舞蹈艺术中的重要位置[J];老区建设;2010年16期
11 马云霞;重视舞蹈学生的呼吸与协调性训练[J];民族艺术研究;1995年05期
12 马行风;协调性趣味练习八法[J];田径;2004年06期
13 王璟;少儿协调性练习方法[J];田径;2001年04期
14 李伟;;浅谈街舞的身体协调性练习方法[J];职业;2009年35期
15 蒋丹;;室内设计中各要素的协调性[J];苏州工艺美术职业技术学院学报;2006年S1期
16 余小信;简论钢琴手指技巧的有效练习[J];阜阳师范学院学报(社科版);2000年01期
17 李晓兵;;艺术设计中的尺度问题[J];郑州轻工业学院学报(社会科学版);2006年03期
18 杜伟;;论公共设施设计的五个原则[J];装饰;2006年07期
19 侯柯;;谈手风琴室内乐的发展[J];开封教育学院学报;2010年01期
20 李豫虔;;谈影视音乐的协调性[J];电影评介;2008年14期
中国重要会议论文全文数据库 前10条
1 李小五;;协调性质与无穷逻辑几个公理化系统的完全性[A];1993年逻辑研究专辑[C];1993年
2 杨威;;基于投影寻踪的“工业-资源-环境”系统协调性研究——以广东广西35地市为例[A];中国地理学会百年庆典学术论文摘要集[C];2009年
3 柳君泽;谭小玲;;缺氧大鼠脑线粒体COX活性及亚基Ⅰ、Ⅳ表达协调性研究[A];中国生理学会第21届全国代表大会暨学术会议论文摘要汇编[C];2002年
4 谭小群;陈国华;;跨区域突发事件应急协调机制实现途径探究[A];中国职业安全健康协会2009年学术年会论文集[C];2009年
5 王栋民;高昱;左彦峰;欧阳世翕;;流态膨胀混凝土膨胀与强度发展的协调性研究(Ⅰ):中强混凝土的情况[A];首届商品砼大会论文集[C];2004年
6 薛佩伟;;中国图书馆立法研究[A];福建省图书馆学会2007年学术年会论文集[C];2007年
7 杨宇;张小雷;雷军;;塔里木河流域城镇经济社会与资源环境系统协调性研究[A];中国地理学会百年庆典学术论文摘要集[C];2009年
8 李艳双;韩文秀;曾珍香;;可持续发展系统评价指标体系构建及评价方法探讨[A];西部开发与系统工程——中国系统工程学会第12届年会论文集[C];2002年
9 赖景生;;西南农业结构变动的协调性问题探讨[A];长江上游经济发展与长江流域经济合作学术研讨会论文集[C];2005年
10 蔡红洋;曹雅坤;;新时期高校学报编务工作的特点[A];学报编辑论丛(第十一集)[C];2003年
中国重要报纸全文数据库 前10条
1 顾兴明;再婚夫妻更需协调性生活[N];保健时报;2004年
2 亦清;深化改革要突出协调性[N];深圳特区报;2011年
3 李成勋 中国社会科学院经济研究所;注重经济发展的协调性[N];中国社会科学报;2011年
4 本报记者 陈淑清;区域经济:协调性明显增强[N];中国信息报;2005年
5 记者 谭志文;高度重视经济发展的协调性和可持续性[N];郴州日报;2011年
6 黎建飞 杨胜男;略论劳动保障立法的协调性[N];中国劳动保障报;2005年
7 记者 杜斌 李庶民 通讯员 王贵鹏;GDP增速合理回落 经济协调性增强[N];金融时报;2011年
8 潘正彦;宏观经济政策应保持协调性和稳定性[N];文汇报;2005年
9 记者 焦明忠;我省经济社会发展保持良好势头[N];黑龙江日报;2007年
10 马禄祯;我省破解中药与烟草协调性技术难题[N];河南日报;2004年
中国博士学位论文全文数据库 前10条
1 于冬;面向数字城市的复杂性研究[D];天津大学;2004年
2 盖国凤;固定资产投资与经济协调发展研究[D];吉林大学;2007年
3 金玲玲;偷税犯罪立法研究[D];吉林大学;2009年
4 张海滨;应用定量组织速度成像技术研究左室运动的协调性[D];第四军医大学;2004年
5 张明媛;城市承灾能力及灾害综合风险评价研究[D];大连理工大学;2008年
6 赵琨;基于系统创新的产业转型及在资源型城市的应用研究[D];山东科技大学;2009年
7 杨静;UML模型的语义模型[D];贵州大学;2006年
8 郭健濂;论西方绘画的色彩[D];中国美术学院;2008年
9 曹细玉;基于多变量决策的易逝品供应链协调研究[D];南京航空航天大学;2007年
10 马晓苗;基于自组织理论的企业文化渗透机制及测度研究[D];吉林大学;2009年
中国硕士学位论文全文数据库 前10条
1 陈立海;拖拉机外形设计与工程设计方法协调性研究[D];河南科技大学;2011年
2 贺静;甘肃省金融发展规模、结构、效率的协调性测度研究[D];兰州大学;2012年
3 孙红英;我国科技成果管理与知识产权保护的协调性问题研究[D];湖南大学;2003年
4 孙云玉;上市公司内外部治理协调性对公司绩效的影响研究[D];暨南大学;2010年
5 张方清;运用投入产出模型分析上海产业结构的协调性[D];同济大学;2006年
6 谢萍;泰山地质公园地质遗迹保护与利用协调性研究[D];中国地质大学(北京);2006年
7 金鑫喆;中国房地产业投资与宏观经济协调性研究[D];吉林大学;2008年
8 刘立平;中原城市群经济隆起带可持续发展研究[D];河南大学;2004年
9 张磊;区域创新系统与区域经济发展的协调性及测度研究[D];河北工业大学;2006年
10 赵凌晨;黑龙江省区域创新系统与区域经济发展协调性研究[D];哈尔滨工程大学;2007年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978