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

三值逻辑Sheffer

杜国平  
【摘要】:本文将二值逻辑中的完全析取范式、完全合取范式推广至三值逻辑中,用归约的方法证明三值逻辑算子集{,∨}和{,∧}都是函数完全的,在此基础上证明了12个三值逻辑二元算子是sheffer函数。

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 田华银;充足理由原则的尴尬及其消解[J];西南民族大学学报(人文社科版);2005年07期
2 程裕霞,陈卫东,宋恩民;用三角式判定析取范式永真性的算法研究[J];武汉教育学院学报;1996年06期
3 段宏立;;一元道义逻辑OAP系统[J];重庆工学院学报(社会科学版);2008年12期
4 张清宇;系统Z中的范式和插入定理[J];哲学研究;1999年12期
5 吴邛;三值逻辑理论与思维模式转变[J];探索;2002年02期
6 杜国平;单独函数完全的算子[J];哲学研究;2000年06期
7 许伟明;求模糊逻辑函数范式的方块图法[J];上海理工大学学报;1995年01期
8 贾国恒;/p∧乛p/=0与/p∧乛p/=1/2能使我们陷入“两难”吗?[J];中州大学学报;2003年04期
9 王金亮;许艳丽;赵俊雅;张月岭;;命题逻辑主析取(合取)范式的代数化求解[J];聊城大学学报(自然科学版);2010年02期
10 桂起权;罗毅;;关于多值逻辑的辩证哲学思考[J];思维与智慧;1987年02期
11 姚从军;;三值逻辑的逻辑哲学反思[J];重庆广播电视大学学报;2009年03期
12 高芸;;模糊逻辑与自然语言中的语义模糊[J];毕节学院学报;2011年01期
13 顾红芳,白鹏,肖奚安,朱梧槚;MP~*与各种命题联结词含量完全的三值逻辑在语言表达能力上的等效性研究[J];数学杂志;2000年03期
14 姚从军;万平;;三值逻辑与思维规律前三律[J];湖南科技学院学报;2006年06期
15 鞠实儿;林渊雷;;基于开放世界假设的三值逻辑的语义推理系统[J];中山大学学报(社会科学版);2008年02期
16 姚从军;;三值逻辑的思想和方法[J];北京理工大学学报(社会科学版);2010年01期
17 赵鹏;姚从军;;三值逻辑系统的分析与比较[J];毕节学院学报;2011年06期
18 叶鹰;建立在三元逻辑基础上的三元科学[J];浙江大学学报(农业与生命科学版);2000年03期
19 马丽娜;王国俊;;Lukasiewicz三值逻辑中命题的真度值之集在[0,1]上的分布[J];山东大学学报(理学版);2009年10期
20 娄银华;张秋霞;吴洪博;;三值逻辑命题的条件真度理论[J];云南师范大学学报(自然科学版);2008年05期
中国重要会议论文全文数据库 前10条
1 杜国平;;三值逻辑Sheffer[A];2005年逻辑研究专辑[C];2005年
2 鞠实儿;;基于开放世界假设的三值逻辑的语义推理系统[A];开放类逻辑论文集[C];2004年
3 毛翊;;邻域语义学[A];1994年逻辑研究专辑[C];1994年
4 鞠实儿;;开放类逻辑的哲学基础——一种非规范三值内涵语义理论[A];开放类逻辑论文集[C];2004年
5 张清宇;;极小的弗协调U、S时态命题逻辑[A];逻辑、语言与思维——周礼全先生八十寿辰纪念文集[C];2001年
6 ;和谐社会:自主创新与文化交融——2006·学术前沿论坛论文摘要汇编 北京市逻辑学会[A];和谐社会:自主创新与文化交融——2006学术前沿论坛论文摘要汇编[C];2006年
7 胡泽洪;;论语义预设[A];1993年逻辑研究专辑[C];1993年
8 李瑞峰;;知道逻辑初探[A];1994年逻辑研究专辑[C];1994年
9 陈小平;郑诚;刘贵全;;意图形式化研究的若干问题[A];逻辑今探——中国逻辑学会第五次代表大会暨学术讨论会论文集[C];1996年
10 张金成;;系统DPA与ZCM的统一[A];1998年逻辑研究专辑[C];1998年
中国博士学位论文全文数据库 前3条
1 戴细华;多值逻辑语义博弈[D];中山大学;2006年
2 张君;知道逻辑中的知识可传递性问题研究[D];清华大学;2008年
3 冯彦波;合并逻辑方法研究[D];南开大学;2010年
中国硕士学位论文全文数据库 前9条
1 贾国恒;卢卡西维茨多值逻辑及其与一些逻辑的比较[D];河南大学;2003年
2 张文琴;克里普克解悖方案研究[D];华东师范大学;2007年
3 蒋军利;公开更新逻辑[D];西南大学;2007年
4 王三民;模糊逻辑形式系统的若干完备性定理[D];陕西师范大学;2001年
5 任芳;互为伴随的三角模与蕴涵算子及蕴涵算子的逼近问题[D];陕西师范大学;2001年
6 梁真;群体动态认知偏好逻辑[D];西南大学;2011年
7 刘锐;预设的语义和语用分析[D];河南大学;2004年
8 王婉玲;冯·赖特行动逻辑研究[D];华南师范大学;2004年
9 王轶;认知逻辑的动态化理论[D];中国人民大学;2005年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978