论文部分内容阅读
在经典命题逻辑语言中引入附加算子几，较系统地研究近几年刚刚被提出的任务逻辑。这里把公式理解为“任务”，介绍了“任务逻辑”的语义理论，并从语构上定义形式系统L与之对应，证明该系统的可靠性、完备性及可判定性定理．最后建立系统L中的一系列基本定理。
从事实逻辑到任务逻辑
【摘 要】
：
在经典命题逻辑语言中引入附加算子几，较系统地研究近几年刚刚被提出的任务逻辑。这里把公式理解为“任务”，介绍了“任务逻辑”的语义理论，并从语构上定义形式系统L与之对应，证
【机 构】
：
陕西师范大学数学研究所．陕西西安710062
【出 处】
：
模糊系统与数学
【发表日期】
：
2004年1期
其他文献
对认知信息和认知信息处理的研究已成为人工智能迫切而重要的研究内容.本文在生物学的基础上,从思维科学、认知科学和心理学和的角度,探讨了生物认知信息的特征,建立了一种生