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

无穷逻辑简史

李小五  
【摘要】:正简单回顾一下无穷逻辑的发展史,对想知道无穷逻辑是如何产生、成熟和继续发展的读者将是大有裨益的。无穷逻辑是在有穷逻辑之上沿着四个方面作无穷扩张的逻辑:(1)沿逻辑联结词∧和∨的运算规模作无穷扩张:(2)沿量词运算规模作无穷扩张;
【作者单位】:中国社会科学院哲学所
【分类号】:B815

手机知网App
【相似文献】
中国期刊全文数据库 前10条
1 李可胜;;形式语义模型与复合汉语NP的语义刻画[J];重庆理工大学学报(社会科学);2011年08期
2 唐智松;张小国;;网络成瘾问题研究的回顾与前瞻[J];邢台职业技术学院学报;2011年03期
3 ;[J];;年期
4 ;[J];;年期
5 ;[J];;年期
6 ;[J];;年期
7 ;[J];;年期
8 ;[J];;年期
9 ;[J];;年期
10 ;[J];;年期
中国重要会议论文全文数据库 前10条
1 李小五;;无穷逻辑简史[A];1997年逻辑研究专辑[C];1997年
2 武清玺;吴世伟;;无穷元在重力坝可靠度分析中的应用[A];工程结构可靠性——中国土木工程学会桥梁及结构工程学会结构可靠度委员会全国第二届学术交流会议论文集[C];1989年
3 李仁骏;;模糊袋的模算子[A];模糊集理论与应用——98年中国模糊数学与模糊系统委员会第九届年会论文选集[C];1998年
4 张其成;;中医现代化悖论[A];中医药优秀论文选(上)[C];2009年
5 杨子京;;从开放的角度看悖论问题[A];1996年逻辑研究专辑[C];1996年
6 邹崇理;;话语表现理论DRT述评[A];1998年逻辑研究专辑[C];1998年
7 黄璐琦;曹春雨;;中医药学现代化研究的思路与方法的探讨[A];中医现代化科学研究发展策略[C];1999年
8 张维真;;试论“基数量词”[A];1993年逻辑研究专辑[C];1993年
9 王世强;;浅议数理逻辑对数学研究的贡献[A];1993年逻辑研究专辑[C];1993年
10 周红锤;周鸿钧;李树生;;坝基软弱带对重力坝坝踵裂缝的影响[A];第四届全国结构工程学术会议论文集(下)[C];1995年
中国重要报纸全文数据库 前6条
1 董光璧;中国传统文化对于未来科学的意义[N];光明日报;2001年
2 陈岸瑛;文字和数字创造的世界[N];中华读书报;2003年
3 王乃平;中医只与《易经》结合才没有前途[N];中国中医药报;2005年
4 金磊;城市建筑防灾思路[N];中国社会报;2004年
5 范文;国际关系理论中的现实主义[N];学习时报;2001年
6 戈莱格·莱斯特尔 墨尔本大学哲学、人类学和社会研究学院,焦兵编译,熊明辉校;《澳洲逻辑学杂志》简介[N];中国社会科学报;2009年
中国博士学位论文全文数据库 前3条
1 王学芳;基于格蕴涵代数的格值逻辑及其模型论的研究[D];西南交通大学;2004年
2 刘新文;系统Z的量化扩张及其对话语表现理论的处理[D];中国社会科学院研究生院;2002年
3 张世宁;广义量词理论研究[D];南开大学;2010年
中国硕士学位论文全文数据库 前10条
1 齐迹;模型与范式:伊恩·巴伯的科学与宗教关系思想探究[D];山东大学;2009年
2 胡东飞;犯罪构成模型论[D];四川大学;2003年
3 刘晓峰;关于占先结构的相似性研究[D];南京航空航天大学;2005年
4 于金青;鲁滨逊与非标准分析[D];河北师范大学;2003年
5 赵岩华;从莱威尔特的言语产出模型论同声传译中的言语失误及修复方法[D];对外经济贸易大学;2003年
6 刘杨;单侧隧道内爆炸荷载作用下双线地铁隧道的动力响应与抗爆分析[D];天津大学;2006年
7 芦珊;可公理化单射占优模型类的研究[D];南京航空航天大学;2006年
8 顾锋强;蒙太格语法研究述评[D];西南大学;2006年
9 刘桃;国有商业银行不良资产增量防范研究[D];重庆大学;2003年
10 谭莉;MV-代数上的概率和期望及相关性质的研究[D];西南交通大学;2005年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026