文章摘要
C_n(1≤n<ω)及C_ω中的否定
Negation in C_n(1≤n<ω) and C_ω
  
DOI:
中文关键词: 对当关系逻辑  弗协调逻辑  否定  下反对关系
英文关键词: oppositional logic  paraconsistent logic  negation  subcontrary opposition
基金项目:国家社会科学基金项目“不协调理论的推理机制研究”(批准号:10BZX054);中国社会科学院青年科研启动基金项目;国家社科基金重大招标项目“自然语言信息处理的逻辑语义学研究”(批准号:10&ZD073)的研究成果
摘要点击次数: 956
全文下载次数: 2
中文摘要:
      在对当关系逻辑中,命题A与命题△A之间是一种下反对关系。在弗协调逻辑系统中,我们通过定义一个一元连接词●,可以证明,在对当关系逻辑中算子△所具有的性质,在弗协调逻辑中其否定﹁也都具有这些性质,从而得出,弗协调逻辑中的否定﹁是一种特殊的下反对关系算子。
英文摘要:
      In the Oppositional Logic,the A proposition and △A proposition are connected by the subcontrary opposition.In the Paraconsistent Logic system,by defining a unary connectives ●,we can prove that if the operator △ have some properties in the Oppositional Logic,negation ﹁ also have these properties.So,negation will ﹁ in the Paraconsistent Logic is a special subcontrary opposition operator.
查看全文   查看/发表评论  下载PDF阅读器
关闭