C_n(1≤n<ω)及C_ω中的否定

作者：杜国平; 傅庆芳

来源：湖南科技大学学报(社会科学版), 2012, (03): 31-33.

• 对当关系逻辑
• 弗协调逻辑
• 否定
• 下反对关系 oppositional logic
• paraconsistent logic
• negation
• subcontrary opposition

在对当关系逻辑中,命题A与命题△A之间是一种下反对关系。在弗协调逻辑系统中,我们通过定义一个一元连接词●,可以证明,在对当关系逻辑中算子△所具有的性质,在弗协调逻辑中其否定﹁也都具有这些性质,从而得出,弗协调逻辑中的否定﹁是一种特殊的下反对关系算子。

• 单位
  中国社会科学院