一个刻画强否定的模态系统及其性质

摘要：

否定是逻辑学的中心概念之一.直觉主义用关系语义刻画了一个强否定,我们在此也用关系语义刻画一个强否定.所不同的是,我们的否定是直觉主义的否定的补,所以我们给出的刻画强否定的语义和系统就有一些刻画直觉主义否定的语义和系统所没有的性质.例如,禁自返相对于我们的语义是模态可定义的.

关键词：否定、强否定、关系语义、禁自返

分类号：B81(逻辑学(论理学))

资助基金：国家社科基金项目"更新语义与动态认知逻辑研究"08BZX050

在线出版日期：2009-04-03（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：98-105