您的位置:网站首页 > 《中文科技期刊数据库》 > 自然科学 > 数学 > 数学基础 > 摘要

任务逻辑中的定理

《模糊系统与数学》2006年 第6期 | 许文艳 荆云鹏   西安电子科技大学理学院应用数学系 陕西西安710062 95588部队预警指挥引导系 陕西西安710306
  • 第1页
  • 第2页
  • 第3页
  • 第4页
论文服务:
摘 要:基于任务逻辑的语义语构理论,提出模仿策略的概念,详细讨论任务逻辑形式系统L中的定理并给出其证明,得到许多有趣的结果。
【分 类】【数理科学和化学】 > 数学 > 数理逻辑、数学基础 > 数理逻辑(符号逻辑) > 命题演算、谓词演算、类演算
【关键词】 任务逻辑 模仿策略 定理
【出 处】 《模糊系统与数学》2006年 第6期 15-20页 共6页
【收 录】 中文科技期刊数据库