| 刻画动态否定的逻辑 |
| |
| 引用本文： | 李小五. 刻画动态否定的逻辑[J]. 中山大学学报(社会科学版), 2008, 48(2): 106-111 |
| |
| 作者姓名： | 李小五 |
| |
| 作者单位： | 中山大学逻辑与认知研究所,广州,510275 |
| |
| 基金项目： | 教育部重点研究基地科研项目 |
| |
| 摘 要： | 通常的逻辑只涉及静态否定的概念.文章建立了几类动态系统来刻画动态否定概念,并引入相应的语义,然后证明这些系统相对这些语义是可靠和完全的.
|
| 关 键 词： | 静态否定 动态否定 语义 可靠性 完全性 动态系统 逻辑 Negation Dynamic 完全 语义 否定概念 |
| 文章编号： | 1000-9639(2008)02-0106-06 |
| 修稿时间： | 2007-12-01 |
Logics That Characterize Dynamic Negation |
| |
| LI Xiao-wu. Logics That Characterize Dynamic Negation[J]. Journal of Sun Yatsen University(Social Science Edition), 2008, 48(2): 106-111 |
| |
| Authors: | LI Xiao-wu |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
