|
| C_n(1≤n<ω)及C_ω中的否定 |
| Negation in C_n(1≤n<ω) and C_ω |
| |
| DOI： |
| 中文关键词: 对当关系逻辑 弗协调逻辑 否定 下反对关系 |
| 英文关键词: oppositional logic paraconsistent logic negation subcontrary opposition |
| 基金项目:国家社会科学基金项目“不协调理论的推理机制研究”(批准号:10BZX054);中国社会科学院青年科研启动基金项目;国家社科基金重大招标项目“自然语言信息处理的逻辑语义学研究”(批准号:10&ZD073)的研究成果 |
|
|
| 摘要点击次数: 1880 |
| 全文下载次数: 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阅读器 |
| 关闭 |
|
|
|
