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

一个无穷值逻辑

郝兆宽  
【摘要】:正本文建立的无穷值逻辑基于以下直观: (1)不存在既真又假的语句。设T为全体真语句的集合,F为全体假语句的集合, (2)同为真或同为假的语句其真假程度不同。如P1:“北京每三十年至少下一次雨”。和P2:“北京每年至少下一次雨。?皆为真语句,但P1要比P2“更真”。

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 冯棉;;一类命题逻辑的一般弱框架择类语义[J];逻辑学研究;2011年02期
2 刘新文;;皮尔士存在图的形式推演系统[J];毕节学院学报;2011年05期
3 赵莉莉;;VP壳理论与几个特殊的现代汉语动词结构[J];考试周刊;2011年50期
4 赵鹏;姚从军;;三值逻辑系统的分析与比较[J];毕节学院学报;2011年06期
5 蒋勇;翟澍;邢雪梅;;极性隐喻的梯级逻辑[J];当代修辞学;2011年03期
6 ;[J];;年期
7 ;[J];;年期
8 ;[J];;年期
9 ;[J];;年期
10 ;[J];;年期
11 ;[J];;年期
12 ;[J];;年期
13 ;[J];;年期
14 ;[J];;年期
15 ;[J];;年期
16 ;[J];;年期
17 ;[J];;年期
18 ;[J];;年期
19 ;[J];;年期
20 ;[J];;年期
中国重要会议论文全文数据库 前10条
1 郝兆宽;;一个无穷值逻辑[A];1998年逻辑研究专辑[C];1998年
2 林邦瑾;;够用的无衍系统Cm[A];全国逻辑讨论会论文选集[C];1979年
3 邹崇理;;论PTQ系统的意义公设[A];1995年逻辑研究专辑[C];1995年
4 罗翊重;;逻辑推理四大基础类型及其相互关系研究[A];中国思维科学研究论文选2011年专辑[C];2012年
5 李娜;;认识论模态逻辑E-系统的布尔值模型[A];逻辑、语言与思维——周礼全先生八十寿辰纪念文集[C];2001年
6 王庆英;;成真指派法及其应用[A];逻辑研究文集——中国逻辑学会第六次代表大会暨学术讨论会论文集[C];2000年
7 黄建元;郭浩然;苏世斌;;彩色滤光片制造业之男性员工工作压力与hs-CRP的相关性[A];第七届海峡两岸心血管科学研讨会论文集[C];2009年
8 张家锋;徐扬;;格值命题逻辑LP(X)中的语义归结方法[A];中国运筹学会模糊信息与模糊工程分会第五届学术年会论文集[C];2010年
9 孔红;;一个法律规范逻辑的形式语言及语义[A];和谐社会:社会公正与风险管理——2005学术前沿论坛论文集(下卷)[C];2005年
10 周北海;;嫁接框架与S1-完全性[A];1994年逻辑研究专辑[C];1994年
中国博士学位论文全文数据库 前5条
1 李晓冰;基于语言真值格值逻辑的归结自动推理研究[D];西南交通大学;2008年
2 吕帅;基于自动推理技术的智能规划方法研究[D];吉林大学;2010年
3 薛小英;汉语疑问词的句法与语义不对称现象探究[D];中南大学;2012年
4 郭美云;带有群体知识的动态认知逻辑[D];北京大学;2006年
5 王伟;格值命题逻辑系统LP(X)中基于α-归结原理的自动推理方法的研究[D];西南交通大学;2002年
中国硕士学位论文全文数据库 前10条
1 张松松;HAVE范式的一致性句法分析[D];南京师范大学;2008年
2 张丽;命题投影时序逻辑的判定性和表达性[D];西安电子科技大学;2007年
3 姚雷博;MAX~+(2)公式改名的复杂性[D];贵州大学;2007年
4 蒋军利;公开更新逻辑[D];西南大学;2007年
5 杨凯;乔姆斯基生成语法的逻辑探析[D];华南师范大学;2007年
6 伍凤英;want-不定式PRO格核查的最简方案研究[D];中南大学;2006年
7 张劼;最简方案框架下汉语“给”字句研究初探[D];北京语言文化大学;2002年
8 郭莉敏;现代俄语简单句的逻辑表达式问题[D];首都师范大学;2004年
9 王博;英语存现句句法特征研究[D];中南大学;2006年
10 尹亚东;汉语反身代词的最简方案解析[D];天津师范大学;2007年
中国重要报纸全文数据库 前10条
1 牛根生;逻辑和直觉[N];中国矿业报;2007年
2 刘春辉;IBM将对其进行深度投资[N];人民邮电;2004年
3 莱芜技工学校 王军;怎样培养职业学校学生的学习兴趣[N];莱芜日报;2007年
4 盛文杰;丁学文:三次转行的内在逻辑[N];第一财经日报;2006年
5 陈绶祥;书法能为中国建筑带来什么启示?[N];广东建设报;2002年
6 牛根生;红海喜逻辑,蓝海爱直觉[N];商务时报;2007年
7 ;汽车制造业的尖兵[N];工人日报;2004年
8 本报记者 张震;蒙迪欧能否充当“加价”狙击手?[N];中国消费者报;2004年
9 宁夏福立升汽车销售服务有限公司供稿;反越位——试驾长安福特04款蒙迪欧[N];宁夏日报;2004年
10 巴曙松;金融江湖的掌故[N];深圳商报;2004年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978