From the Logic of Facts to the Logic of Tasks
XU Wen-yan · Mohu xitong yu shuxue · 2004
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.