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

相干结论保留着非假值(纯语义证明)

я.в.施拉姆科  王靖华  

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 я.в.施拉姆科!俄,王靖华;相干结论保留着非假值(纯语义证明)[J];哲学译丛;1997年02期
2 黄淑子 ,鲁作坤;当我离开故乡的时候[J];北方音乐;1988年02期
3 张清宇;试谈相干逻辑[J];哲学研究;1985年10期
4 王文声;关于划分物质产品与工业性作业问题的研究[J];中国统计;1955年04期
5 钱冠连;面像身势与话语必须和谐——一条会话合作原则[J];外语教学;1989年02期
6 姚楠,顾红芳,肖奚安;MP~* 中的等值完全析取范式[J];南京航空航天大学学报;1998年04期
7 倪荫林;命题推理前提假值为何先舍后取?——兼及命题推理有效必然性的理论阐释[J];九江师专学报;2003年04期
8 倪荫林;论命题推理前提假值的先舍后取——兼及命题推理有效必然性的理论阐释[J];信阳师范学院学报(哲学社会科学版);2003年04期
9 霍书全;;相干逻辑研究的当代成果和发展趋势[J];哲学动态;2007年04期
10 冯棉;条件句与相干逻辑[J];华东师范大学学报(哲学社会科学版);1999年01期
11 胡红;盛作国;;制约逻辑与相干逻辑比较研究[J];毕节学院学报;2008年01期
12 埃德温·马莱斯;;相干否定与经典否定[J];逻辑学研究;2010年01期
13 颜中军;;从相干逻辑看逻辑的可修正性[J];毕节学院学报;2011年03期
14 薛元;有关制约逻辑的一些情况[J];哲学动态;1986年11期
15 王曾贻;关于R.S.Varga书中stein-ROSenberg定理的证明的一个注解[J];新疆师范大学学报(哲学社会科学版);1980年00期
16 赵跃生;Buffon问题的一个推广[J];江苏大学学报(高教研究版);1987年S1期
17 冯棉;;论相干逻辑的研究方法[J];华东师范大学学报(哲学社会科学版);2008年06期
18 许爱琼;试谈认识论逻辑[J];现代哲学;1987年04期
19 桂起权;;关于互补性逻辑、辩证逻辑及次协调逻辑——对马佩教授挑战的一种回应[J];河南社会科学;2010年02期
20 冯棉;;一类命题逻辑的一般弱框架择类语义[J];逻辑学研究;2011年02期
中国重要会议论文全文数据库 前10条
1 张强;;关于拟概率测度的R—N和B—C引理[A];中国系统工程学会模糊数学与模糊系统委员会第五届年会论文选集[C];1990年
2 王尊全;;软代数的同余区间[A];模糊集理论与应用——98年中国模糊数学与模糊系统委员会第九届年会论文选集[C];1998年
3 黎爱平;;正规Fuzzy格的素理想与同余关系[A];中国系统工程学会模糊数学与模糊系统委员会第十一届年会论文选集[C];2002年
4 严国钧;;在数学中引进几个概念后引起的反思[A];中国当代教育理论文献——第四届中国教育家大会成果汇编(下)[C];2007年
5 段华;陈东灵;;系列平行图的边面着色[A];中国运筹学会第七届学术交流会论文集(上卷)[C];2004年
6 杨云;;软代数中的Fuzzy中理想[A];模糊集理论与应用——98年中国模糊数学与模糊系统委员会第九届年会论文选集[C];1998年
7 冯棉;;相干逻辑与蕴涵怪论[A];2005年逻辑研究专辑[C];2005年
8 斯钦孟克;;L-ws紧集[A];模糊集理论与应用——98年中国模糊数学与模糊系统委员会第九届年会论文选集[C];1998年
9 廖祖华;胡宇红;;F*—正则子半群[A];模糊集理论与模糊应用专辑——中国系统工程学会模糊数学与模糊系统委员会第十届年会论文选集[C];2000年
10 张志德;邹开其;;T序与定位算子[A];中国系统工程学会模糊数学与模糊系统委员会第五届年会论文选集[C];1990年
中国博士学位论文全文数据库 前10条
1 黄炜;随机序列的一些精确强极限定理[D];浙江大学;2003年
2 梅雪峰;有理逼近若干构造问题[D];浙江大学;2001年
3 陈志祥;基于Chebyshev多项式零点的若干实插值问题[D];浙江大学;2002年
4 闻继威;随机过程及其局部时和随机场的极限定理[D];浙江大学;2003年
5 汪国军;Koszul对象和弱正则环的相关研究[D];浙江大学;2006年
6 任艳霞;超扩散与非线性偏微分方程[D];南开大学;1998年
7 陈冬香;奇异积分中几类经典算子及其相关算子的若干问题[D];浙江大学;2004年
8 李瑛;多元小波的构造及其应用[D];吉林大学;2004年
9 朱相荣;奇异积分算子及Euler方程中若干问题的研究[D];浙江大学;2006年
10 丁士锋;用置换群理论构造具有特殊传递性的组合结构(Ω,Λ,Ι)[D];浙江大学;2004年
中国硕士学位论文全文数据库 前10条
1 刘国军;Lupas-Baskakov型算子的逼近[D];宁夏大学;2003年
2 陈少伟;某些不具紧性的二阶椭圆型偏微分方程[D];福建师范大学;2002年
3 韩彦武;两类向量场的Hopf型引理及非线性Liouville型定理[D];西北工业大学;2002年
4 叶全民;一维反铁磁链方程组局部光滑解的存在唯一性[D];华南师范大学;2004年
5 邵文武;阶为12,20的对称图的分类[D];首都师范大学;2000年
6 毛卫华;脉冲泛函微分方程的振动性与渐近性[D];华南师范大学;2002年
7 张超龙;高阶脉冲微分方程的振动性[D];华南师范大学;2004年
8 雷春林;值分布论中的一些结果[D];南京师范大学;2004年
9 侯英涛;K_4内全部子图组T(?)H的Meta(H>T,λ)[D];河北师范大学;2008年
10 胡中永;关于Newton迭代的Kantorovich定理[D];南京理工大学;2004年
中国重要报纸全文数据库 前10条
1 迟智广;利率市场化“路线图”指引理财新思路[N];经理日报;2003年
2 杜雨青;考的就是细心[N];中国电脑教育报;2004年
3 任飞;“植物股”之忧[N];医药经济报;2004年
4 杜雨青;考的就是细心[N];中国电脑教育报;2004年
5 裴尉植 崔继承;工程学院党委理论学习推动学院建设整体跃升[N];人民武警;2005年
6 路虎;美国科技霸权面临严峻挑战[N];中华工商时报;2004年
7 记者 程娇;造假一元 重罚五万[N];海南日报;2007年
8 中国贸促会驻比利时代表处;美国科技的主导地位正在消失[N];中国贸易报;2004年
9 记者 李保同;见义勇为 英勇负伤[N];长治日报;2007年
10 本报记者 张哲浩;架设我国农业科技产业的通途[N];科技日报;2006年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978