| 一个刻画强否定的模态系统及其性质 |
| |
| 引用本文： | 李小五,刘佳秋,徐秋华. 一个刻画强否定的模态系统及其性质[J]. 厦门大学学报(哲学社会科学版), 2009, 0(1) |
| |
| 作者姓名： | 李小五 刘佳秋 徐秋华 |
| |
| 作者单位： | 1. 中山大学,逻辑与认知研究所,广东,广州,510275
2. 厦门大学,哲学系,福建,厦门,361005 |
| |
| 摘 要： | 否定是逻辑学的中心概念之一.直觉主义用关系语义刻画了一个强否定,我们在此也用关系语义刻画一个强否定.所不同的是,我们的否定是直觉主义的否定的补,所以我们给出的刻画强否定的语义和系统就有一些刻画直觉主义否定的语义和系统所没有的性质.例如,禁自返相对于我们的语义是模态可定义的.
|
| 关 键 词： | 否定 强否定 关系语义 禁自返 |
A Modal System for Strong Negation and its Properties |
| |
| LI Xiao-wu,LIU Jia-qiu,XU Qiu-hua. A Modal System for Strong Negation and its Properties[J]. Journal of Xiamen University(A Quarterly for Studies in Arts & Social Sciences), 2009, 0(1) |
| |
| Authors: | LI Xiao-wu LIU Jia-qiu XU Qiu-hua |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
