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

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

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

知网文化
【相似文献】
中国期刊全文数据库 前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