| 从事实逻辑到任务逻辑 |
| |
| 引用本文： | 王国俊,许文艳.从事实逻辑到任务逻辑[J].模糊系统与数学,2004,18(1):1-8. |
| |
| 作者姓名： | 王国俊 许文艳 |
| |
| 作者单位： | 陕西师范大学,数学研究所,陕西,西安,710062 |
| |
| 摘 要： | 在经典命题逻辑语言中引入附加算子几，较系统地研究近几年刚刚被提出的任务逻辑。这里把公式理解为“任务”，介绍了“任务逻辑”的语义理论，并从语构上定义形式系统L与之对应，证明该系统的可靠性、完备性及可判定性定理．最后建立系统L中的一系列基本定理。
|
| 关 键 词： | 事实逻辑 任务逻辑 可靠性 完备性 可判定性 命题逻辑 |
| 文章编号： | 1001-7402(2004)01-0001-08 |
| 修稿时间： | 2003年12月19 |
From the Logic of Facts to the Logic of Tasks |
| |
| WANG Guo-jun,XU Wen-yan.From the Logic of Facts to the Logic of Tasks[J].Fuzzy Systems and Mathematics,2004,18(1):1-8. |
| |
| Authors: | WANG Guo-jun XU Wen-yan |
| |
| Abstract: | |
| |
| Keywords: | Logic of Tasks Additive Operator Additive Complexity Realization Eventual (Situation ) (Accomplishable )Action Strategy |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
