从事实逻辑到任务逻辑

From the Logic of Facts to the Logic of Tasks

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

The present paper supplements the classical propositional logic with an additional operator 冂, and the logic of tasks which has been preseneted recently is formally systematized. Formulas are (considered) as tasks, and corresponding semantics for the logic of tasks is (developed.) Furthermore, a (formal) system L with respect to the task semantics is proposed, and the soundness, completeness and decidability are proved. Finally,several basic theorems of L are established.