一族不完全的逻辑

【相似文献】

相关期刊论文 前10条

1 裘江杰;;基础认知词模态逻辑[J];湖南科技大学学报(社会科学版);2009年04期

2 王辉;;混合语言与时态逻辑[J];湖南科技大学学报(社会科学版);2009年02期

3 裘江杰;;模态逻辑典范框架的生成子框架[J];逻辑学研究;2009年04期

4 唐芳芳;;基于广义谢弗竖的分析性模态公理系统[J];逻辑学研究;2009年03期

5 R.希尔卑伦;扬世武;;模态逻辑的某些认知解释[J];世界哲学;1987年01期

6 王云龙;古代社会向近代世界转型的多维整合研究简论[J];北方论丛;2000年01期

7 张力锋;模态逻辑的哲学归宿[J];四川大学学报(哲学社会科学版);2004年02期

8 张力锋;;论模态逻辑的合法性——对蒯因式模态词解读的批判考察[J];学术研究;2006年09期

9 刘奋荣;;概念分析的奠基与发展[J];自然辩证法研究;2011年04期

10 唐同诰;;程序算子与逻辑算子的统一——一阶时态逻辑(关系逻辑)[J];贵州大学学报(自然科学版);1986年03期

相关会议论文 前10条

1 陈玉泉;陈宣;陆汝占;;内涵时态逻辑的语义解释系统[A];自然语言理解与机器翻译——全国第六届计算语言学联合学术会议论文集[C];2001年

2 楚白;;有穷深度的模态逻辑[A];2005年逻辑研究专辑[C];2005年

3 张建军;罗景仁;;一个新的时态逻辑系统和DB形式化描述方法[A];第九届全国数据库学术会议论文集(上)[C];1990年

4 陈国勋;陈斌;;F-时态命题逻辑中的归结原理[A];模糊数学和系统成果会论文集[C];1991年

5 高思存;;一个刻画n叉有限树的模态系统及其应用[A];2005年逻辑研究专辑[C];2005年

6 田国会;刘长有;徐心和;;电梯服务系统的时态逻辑描述、分析与控制[A];1996年中国控制会议论文集[C];1996年

7 李文江;陈图云;;基于模糊测度的模态逻辑[A];模糊集理论与应用——98年中国模糊数学与模糊系统委员会第九届年会论文选集[C];1998年

8 王飞明;胡元闯;董荣胜;;模型检测中状态爆炸及其优化策略研究[A];广西计算机学会2008年年会论文集[C];2008年

9 田国会;刘长有;徐心和;;离散事件动态系统理论的时态逻辑研究方法[A];1996中国控制与决策学术年会论文集[C];1996年

10 李晓鸥;郭令忠;徐心和;;Petri网监控的时态逻辑框架[A];1994中国控制与决策学术年会论文集[C];1994年

相关重要报纸文章 前10条

1 本报记者 夏艺心;永远走在追求完美的路上[N];中华建筑报;2009年

2 河南省军区司令部 陈晓刚;善于倾听不同声音[N];解放军报;2011年

3 陈岸瑛;文字和数字创造的世界[N];中华读书报;2003年

4 解月;以人为本 “人”是谁？[N];厂长经理日报;2001年

5 本报记者 高宏亮;专题博物馆向我们走来[N];太原日报;2010年

6 陈慕泽;多主体系统中的互知[N];光明日报;2000年

7 刘国玉 学良;重在“人学”的文学通史[N];光明日报;2000年

8 于宁楼;太平洋温泉奇景[N];中国绿色时报;2000年

9 本报记者 赵明;不公平的市场妨碍竞争与崛起[N];中国经济时报;2010年

10 秦帅 赵红兵 王忠于;壶关：小额农贷辟扶贫新路[N];发展导报;2001年

相关博士学位论文 前10条

1 吕帅;基于自动推理技术的智能规划方法研究[D];吉林大学;2010年

2 潘海玉;状态转换系统的格值量化验证方法研究[D];华东师范大学;2012年

3 李文江;基于格蕴涵代数的广义格值模态逻辑及其归结自动推理的研究[D];西南交通大学;2002年

4 史t，

本文编号：2167939