Substructural logics and their applications to computer science

本研究的目的是构建亚结构逻辑的证明系统和语义，并提出这些证明系统和语义在计算机科学中的应用。在这项研究中，我们为一些时态和次相容的子结构逻辑构造了一些证明系统和语义，并提出了所提出的证明系统和语义的一些新的应用(如软件模型检测和Web本体语言)。我们已经在所提出的证明系统和语义上获得了一些理论结果(如完备性和可判断性结果)。

The aim of this study is to construct proof systems and semantics for substuructural logics, and to propose computer science applications of these proof systems and semantics. In this study, we construct some proof systems and semantics for some temporal and paraconsistent substructural logics, and propose some new applications(such as software model checking and Web ontology languages) of the proposed proof systems and semantics. We have obtained some theoretical results(such as completeness and decidability results) on the proposed proof systems and semantics.