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

弱条件句逻辑W的自然推理系统

张清宇  
【摘要】:正弱条件句逻辑W出现在[2]中。许多熟知的条件句逻辑都是它的真扩充。在本文中, 我将建立W的自然推理系统NW,并将结果推广到其他一些条件句逻辑。首先,在第一节中叙述弱条件句逻辑W,不过所采用的W 的公理系统稍不同于努特(D.Nute)的。然后,在第二节中论述W和NW的等价性。最后,在第三节中将NW扩充成其他一些条件句逻辑的自然推理系统。

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 许林麟;真实条件句与非真实条件句的区别[J];大学英语;1997年10期
2 李玉红 ,刘琴;英语中“条件句”的多种表示法[J];通化师范学院学报;1997年03期
3 义;;“不管”和“尽管”不要相混[J];语文教学与研究;1978年04期
4 张文熊;汉语条件句式探源[J];西北师大学报(社会科学版);1986年01期
5 景士俊;条件句琐议二则[J];语文学刊;1993年01期
6 刘红英;论“if…will+v”分句[J];湖南师范大学教育科学学报;1999年06期
7 陈怀仁;浅谈条件状语从句的表达方法[J];天津教育;1997年03期
8 田夕伟;英语虚拟语气在含蓄条件句和含蓄后果句中的运用[J];湘潭师范学院学报(社会科学版);1998年02期
9 张桂芬;“虚拟语气”的特用[J];内蒙古电大学刊;2005年02期
10 王春辉;;条件句中的“条件”[J];首都师范大学学报(社会科学版);2011年04期
11 钟美端;英语条件状语之我见[J];广东职业技术师范学院学报;1997年03期
12 张雪娇;CET-Band Four中虚拟语气的使用[J];沈阳教育学院学报;2003年03期
13 陈国华;英汉假设条件句比较[J];外语教学与研究;1988年01期
14 龙献平;论be going to用于条件句的主句[J];湛江师范学院学报(社会科学版);1996年01期
15 马博森;表示将来的If从句:一般现在时与Will结构[J];杭州大学学报(哲学社会科学版);1995年04期
16 许小纯;IF条件句的变异[J];广州师院学报;1998年05期
17 冯棉;条件句与相干逻辑[J];华东师范大学学报(哲学社会科学版);1999年01期
18 赵甜雯;;浅谈虚拟语气[J];时代教育(教育教学版);2009年04期
19 郭钟庆;试论“If”条件句中动词一般现在时表将来的语义[J];南京航空航天大学学报(社会科学版);2005年03期
20 邰晓;;谈谈虚拟语气在条件句中的多种运用[J];大学英语(学术版);2005年00期
中国重要会议论文全文数据库 前10条
1 张清宇;;弱条件句逻辑W的自然推理系统[A];1994年逻辑研究专辑[C];1994年
2 李小五;;条件句逻辑诸语义学之比较[A];1995年逻辑研究专辑[C];1995年
3 毛翊;;条件句逻辑的邻域语义学[A];理有固然——纪念金岳霖先生百年诞辰[C];1995年
4 李小五;;条件句逻辑新探[A];理有固然——纪念金岳霖先生百年诞辰[C];1995年
5 李小五;;虚拟条件句逻辑的恰当性[A];1998年逻辑研究专辑[C];1998年
6 祝文庭;;话语语义的自然推理系统[A];1994年逻辑研究专辑[C];1994年
7 袁正校;何向东;;实质蕴涵“怪论"新探[A];1997年逻辑研究专辑[C];1997年
8 张盛彬;;试论条件句与蕴涵的一致性[A];2000年逻辑研究专辑[C];2000年
9 文卫平;;英汉驴子句的差异[A];中国英汉语比较研究会第八次全国学术研讨会论文摘要汇编[C];2008年
10 莫绍揆;;归纳推理的形式系统[A];1994年逻辑研究专辑[C];1994年
中国博士学位论文全文数据库 前10条
1 韩启振;现代汉语让步条件句认知研究[D];华中科技大学;2012年
2 陈舜婷;汉语主从句间回指研究[D];上海外国语大学;2012年
3 余达祥;条件推理机制的心理学研究[D];江西师范大学;2008年
4 高华;条件推理双重加工的发展性研究[D];南京师范大学;2007年
5 罗晓英;现代汉语假设性虚拟范畴研究[D];暨南大学;2006年
6 贾春华;基于命题逻辑的《伤寒论》方证理论体系研究[D];北京中医药大学;2006年
7 娄永强;信息流理论的逻辑研究[D];南开大学;2009年
8 刘强;先设消解机制的分析[D];北京语言大学;2007年
9 吴庄;汉语基数词语义和语用的实验研究[D];北京语言大学;2009年
10 张明宇;极向敏感与极项允准机制[D];上海外国语大学;2012年
中国硕士学位论文全文数据库 前10条
1 杨源;属性归类与条件句倾向性分析[D];大连理工大学;2012年
2 胡曦;“如果/那么”条件句的优先序列研究[D];华中师范大学;2012年
3 赵灿;日语条件句习得研究[D];黑龙江大学;2010年
4 刘慧;英语违实条件句的认知构建与解读[D];吉林大学;2012年
5 忻樱;“除非”类条件句及其对外汉语教学策略研究[D];湖北大学;2012年
6 曹砚辉;现代汉语条件句的逻辑分析[D];华南师范大学;2002年
7 韦开军;大学生道义推理研究[D];福建师范大学;2011年
8 关贺明;对If条件句用法的对比分析[D];大连海事大学;2010年
9 唐培培;基于语料库的国际海事公约中条件句翻译的描述性研究[D];大连海事大学;2010年
10 沈娜;两类汉语驴句的量化分析[D];湖南大学;2012年
中国重要报纸全文数据库 前10条
1 贾春华;《伤寒论》双结果条件句分析[N];中国中医药报;2007年
2 李君如;关键在于能否代表[N];辽宁日报;2000年
3 贾春华;《伤寒论》反事实条件句分析[N];中国中医药报;2007年
4 廖保平;春节申遗:如何从时间的长河里舀一碗水[N];工人日报;2007年
5 梅子涵;一把手枪的男孩写成的永远故事[N];中国图书商报;2001年
6 ;对“规则”的若干哲学分析[N];文汇报;2006年
7 林圭;固有不然必无不至[N];人民日报海外版;2001年
8 汤亚平;转型之年重质[N];证券时报;2007年
9 贾春华 王永炎 黄启福 鲁兆麟;以象为素 以素为候 以候为证[N];中国中医药报;2005年
10 本报特约评论员 鄢烈山;全民炒股是一件天大的坏事[N];南方日报;2007年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978