基于开放世界假设的三值逻辑的语义推理系统

【摘要】：Kleene 的蕴含词“→”和开放世界假定的否定词“┐”构成的三值命题逻辑系统没有重言式, 这使得在该系统内进行推理变得比较困难,而正确刻画语义,进而进行正确推理通常是我们构造逻辑系统的目的.既然该命题逻辑系统难以进行推理,本文通过引进真算子T 和F, 直接把背后的语义推理形式化,给出三值命题逻辑语义公理系统SKO. 本文还给出了严格的形式语义, 并且用该语义理论证明了SKO 的可靠性和完全性.

下载App查看全文

下载全文更多同类文献

PDF全文下载

CAJ全文下载

(如何获取全文？欢迎：购买知网充值卡、在线充值、在线咨询)

CAJViewer阅读器支持CAJ、PDF文件格式，AdobeReader仅支持PDF格式

	【相似文献】
	【相似文献】

中国期刊全文数据库

前20条

1	丁春晓;张兴芳;;模糊逻辑系统公理真度分析[J];模糊系统与数学;2011年03期
2	张平,文晓宇;关于几何公理化方法的产生、发展和中学几何公理处理的硏究[J];齐齐哈尔大学学报(哲学社会科学版);1987年S1期
3	诸葛殷同;“A是A”和“A是‘A又非A’”——与孙显元先生商榷[J];浙江社会科学;1993年03期
4	许品庚;从数学观点看辩证逻辑的公理——与孙显元先生探讨[J];浙江社会科学;1993年03期
5	邓生庆;现代逻辑的思想方法与科学的眼界──从爱因斯坦的一封信谈起[J];社会科学研究;1994年06期
6	徐挺;;语义推理的直值表解法[J];思维与智慧;1990年04期
7	任秋云;陶景侃;;标准模态逻辑的判定方法和完全性[J];兰州大学学报(社会科学版);1993年03期
8	许涤非;自信性认知逻辑[J];湖南科技大学学报(社会科学版);2004年05期
9	刘壮虎;归纳支持逻辑的一个新系统[J];哲学研究;1989年12期
10	潘天群;建立在“笛卡尔公理”上的一个怀疑逻辑系统[J];湖南科技大学学报(社会科学版);2004年05期
11	倪荫林;;区分“当且仅当”与“逻辑等值”——消除概念混淆和因果混淆[J];河南师范大学学报(哲学社会科学版);2007年03期
12	何纯秀;李小五;;逻辑刻画:研究“理解”的新视角[J];厦门大学学报(哲学社会科学版);2010年04期
13	李小五;;他连A都知道——认知逻辑EK1-EK3[J];现代哲学;2006年01期
14	李娜;;模态哲思逻辑[J];重庆工学院学报(社会科学版);2008年11期
15	李小五;用带测度函数的可能世界语义学解释—归纳认知逻辑[J];自然辩证法研究;1993年02期
16	吕正春;三种直言三段论的公理判定方法──对三段论的全面具体统一性的思考[J];齐齐哈尔大学学报(哲学社会科学版);1997年06期
17	许涤非;单主体认知逻辑的研究——全知性和真知性[J];湘潭师范学院学报(社会科学版);2003年02期
18	倪荫林;语义推理的真值表解法集全[J];延边大学学报(社会科学版);2005年03期
19	王伟华;吴洪博;;NBL~*形式系统[J];纺织高校基础科学学报;2008年03期
20	裘江杰;周北海;;萨奎斯特逻辑的格[J];逻辑学研究;2009年01期

中国重要会议论文全文数据库

前10条

1	鞠实儿;;基于开放世界假设的三值逻辑的语义推理系统[A];开放类逻辑论文集[C];2004年
2	张大松;;超越形式:假说演绎法论争现状探微[A];逻辑今探——中国逻辑学会第五次代表大会暨学术讨论会论文集[C];1996年
3	赵总宽;;辩证模态命题逻辑系统DMT与实然世界语义学[A];1997年逻辑研究专辑[C];1997年
4	赵总宽;;辩证道义命题逻辑系统DDMT与道义实然世界语义学[A];逻辑今探——中国逻辑学会第五次代表大会暨学术讨论会论文集[C];1996年
5	刘壮虎;;自指性命题的逻辑构造[A];1993年逻辑研究专辑[C];1993年
6	孙卫民;;模态逻辑中几个概念的发展[A];1994年逻辑研究专辑[C];1994年
7	彭展;;一阶谓词系统的独立性[A];2004年逻辑研究专辑[C];2004年
8	林邦瑾;;够用的无衍系统Cm[A];全国逻辑讨论会论文选集[C];1979年
9	鞠实儿;;信念的证据和不一致信念的表达[A];1993年逻辑研究专辑[C];1993年
10	张立英;周北海;;基于主谓项涵义联系的概称句推理的几个逻辑[A];2004年逻辑研究专辑[C];2004年

中国博士学位论文全文数据库

前10条

1	韩诚;R_0代数及Vague集的相似度理论[D];陕西师范大学;2006年
2	吕进;基于时间和行动规划的知识—意图逻辑[D];西南大学;2008年
3	史璟;非良基集与模态逻辑[D];南开大学;2009年
4	荣立武;内涵逻辑的哲学基础[D];中山大学;2006年
5	戴细华;多值逻辑语义博弈[D];中山大学;2006年
6	郭佳宏;理想自省主体的信念修正[D];中山大学;2006年
7	娄永强;信息流理论的逻辑研究[D];南开大学;2009年
8	冯彦波;合并逻辑方法研究[D];南开大学;2010年
9	张君;知道逻辑中的知识可传递性问题研究[D];清华大学;2008年
10	张继华;科学探究推理研究[D];西南大学;2012年

中国硕士学位论文全文数据库

前10条

1	蒋军利;公开更新逻辑[D];西南大学;2007年
2	萧瑶;信念修正逻辑初探[D];西南大学;2008年
3	刘珂;动态认知逻辑发展初探[D];河南大学;2008年
4	武戈;二元道义逻辑DDFS系统研究[D];华东师范大学;2008年
5	王永安;二值命题逻辑公式在等价意义下的一般表示及其应用[D];陕西师范大学;2008年
6	倪国强;广义量词理论对自然语言限定词的研究[D];内蒙古师范大学;2009年
7	段宏立;道义逻辑[D];西南大学;2006年
8	张丽;时态公开宣告逻辑初探[D];西南大学;2009年
9	崔晓红;模态情境语义学试论[D];河南大学;2006年
10	唐静;多主体下动态偏好逻辑初探[D];西南大学;2010年

	快捷付款方式		订购知网充值卡	订购热线	帮助中心
	微信支付支付宝银行卡	知网卡在线购卡更多>>	免费送卡上门银行汇款购卡邮局汇款购卡	400-819-9993 010-62982499 010-62783978	常见问题在线咨询阅读器下载	充值中心知网卡新手指南