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

三值逻辑系统的分析与比较

赵鹏  姚从军  
【摘要】:对诸如未来偶然命题,二值逻辑解决不了,三值逻辑应运而生。如今,三值逻辑理论沿着不同路线已得到迅速发展,其应用范围也日益广泛。主要的三值逻辑系统有L3、B3、K3、R3、P3。它们都对二值逻辑的限制有所突破,都在某种意义上显示出"亦此亦彼"的性质,它们之间以及它们与经典二值逻辑之间具有内在的区别和联系,反映了各自产生的背景与目的。

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 左卫兵;;三值命题逻辑随机化的注记[J];河北师范大学学报(自然科学版);2011年04期
2 隋云云;;逻辑系统L_4~2中公式的相似度[J];潍坊学院学报;2011年04期
3 蔡曙山;白晨;衣新发;韩旭;;推理在学习与认知中的作用[J];重庆理工大学学报(社会科学);2011年08期
4 冯棉;;一类命题逻辑的一般弱框架择类语义[J];逻辑学研究;2011年02期
5 郭建萍;;殊途同归的意义理论——逻辑视野中的戴维森与达米特意义理论[J];哲学动态;2011年06期
6 刘新文;;皮尔士存在图的形式推演系统[J];毕节学院学报;2011年05期
7 吴新民;;时态逻辑与时间思想的语言哲学维度[J];湖南社会科学;2011年04期
8 谭智奇;;探析逻辑哲学“不是什么”和“是什么”[J];传承;2011年21期
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];1997年逻辑研究专辑[C];1997年
2 贾改琴;唐晓嘉;;知道谓词逻辑系统 K_(S5)+K_(BF)[A];第二届海峡两岸逻辑教学学术会议专辑[C];2006年
3 郭世铭;;多主体认知逻辑系统(语法部分)[A];1998年逻辑研究专辑[C];1998年
4 赵总宽;;辩证模态命题逻辑系统DMT与实然世界语义学[A];1997年逻辑研究专辑[C];1997年
5 李小五;;沈有鼎论直观与逻辑[A];“中国名辩学与方法论研讨会、道家与西方研讨会、冯友兰哲学思想研讨会”优秀论文精选[C];1998年
6 郭世铭;;二重命题逻辑系统■_4[A];1993年逻辑研究专辑[C];1993年
7 杜国平;;金岳霖逻辑观述评[A];2000年逻辑研究专辑[C];2000年
8 ;贵州制约逻辑学会2005年学术年会暨首届全国性逻辑系统专题研讨会在花溪召开[A];贵州制约逻辑学会2005年学术年会暨首届全国性逻辑系统专题研讨会论文集[C];2005年
9 赵总宽;;辩证道义命题逻辑系统DDMT与道义实然世界语义学[A];逻辑今探——中国逻辑学会第五次代表大会暨学术讨论会论文集[C];1996年
10 杜国平;;三值逻辑Sheffer[A];2005年逻辑研究专辑[C];2005年
中国博士学位论文全文数据库 前10条
1 冯彦波;合并逻辑方法研究[D];南开大学;2010年
2 戴细华;多值逻辑语义博弈[D];中山大学;2006年
3 惠小静;计量逻辑学及其随机化研究[D];陕西师范大学;2008年
4 韩诚;R_0代数及Vague集的相似度理论[D];陕西师范大学;2006年
5 张立娜;个体词的逻辑语义[D];清华大学;2007年
6 娄永强;信息流理论的逻辑研究[D];南开大学;2009年
7 郭佳宏;理想自省主体的信念修正[D];中山大学;2006年
8 王庆平;逻辑度量空间中的仿射变换和几类特殊公式的性态研究及其应用[D];陕西师范大学;2012年
9 余俊伟;弗协调逻辑应用于道义逻辑的研究[D];中国社会科学院研究生院;2001年
10 张世宁;广义量词理论研究[D];南开大学;2010年
中国硕士学位论文全文数据库 前10条
1 贾国恒;卢卡西维茨多值逻辑及其与一些逻辑的比较[D];河南大学;2003年
2 夏梦;金岳霖逻辑与逻辑系统思想述评[D];西南师范大学;2002年
3 李丽;模糊时序命题逻辑系统的语义[D];辽宁师范大学;2005年
4 任鹏飞;命题逻辑公式集上的相似度、伪距离与近似推理[D];西北大学;2008年
5 萧瑶;信念修正逻辑初探[D];西南大学;2008年
6 张丽;时态公开宣告逻辑初探[D];西南大学;2009年
7 孟艳平;扰动模糊命题逻辑系统的语义[D];辽宁师范大学;2005年
8 李建生;n值逻辑系统中命题的绝对真度及其随机化理论[D];兰州理工大学;2008年
9 刘保翠;命题逻辑中公式的Γ蕴涵真度及相对Γ-重言度理论[D];陕西师范大学;2008年
10 王向云;区间值模糊推理的三Ⅰ算法[D];陕西师范大学;2001年
中国重要报纸全文数据库 前4条
1 本报记者 周静;第四届全国性逻辑系统、智能科学与信息科学学术会议在筑召开[N];贵州日报;2008年
2 本报记者 周静;贵州制约逻辑学会致力学界发展[N];贵州日报;2009年
3 中山大学逻辑与认知研究所 熊明辉;逻辑与认知[N];社会科学报;2002年
4 沙青;“意义”的追问与探求[N];光明日报;2006年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978