从事实逻辑到任务逻辑

• 作者: 王国俊 许文艳
• 来源期刊: 模糊系统与数学
• 学科: 数学
• 关键词: 任务逻辑 附加算子 附加度 实现 最终状态 可完成的 行动策略
• 年，卷（期）: 2004,（1）
• 所属期刊栏目: 模糊集理论
• 页码范围: 1-8
• 页数: 8页
• 分类号: O141.1
• 字数: 9007字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-7402.2004.01.001

摘要

在经典命题逻辑语言中引入附加算子冂,较系统地研究近几年刚刚被提出的任务逻辑.这里把公式理解为"任务",介绍了"任务逻辑"的语义理论,并从语构上定义形式系统L与之对应,证明该系统的可靠性、完备性及可判定性定理,最后建立系统L中的一系列基本定理.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	许文艳	陕西师范大学数学研究所	3	21	2.0	3.0
2	王国俊	陕西师范大学数学研究所	176	2910	25.0	49.0