论文标题
线性时间逻辑的GödelCilculus
A Gödel Calculus for Linear Temporal Logic
论文作者
论文摘要
我们考虑Gödel时间逻辑（$ \ sf gtl $），这是基于Gödel--dummett命题逻辑的线性时间逻辑的一种变体。在最近的工作中，我们已经展示了这种逻辑，可以享受自然语义作为模糊逻辑和超级逻辑。使用语义方法，逻辑被证明为{\ sc pspace} -complete。在本文中，我们为$ \ sf gtl $提供了演绎演算，并向上述语义表明该积分是合理的和完整的。
We consider Gödel temporal logic ($\sf GTL$), a variant of linear temporal logic based on Gödel--Dummett propositional logic. In recent work, we have shown this logic to enjoy natural semantics both as a fuzzy logic and as a superintuitionistic logic. Using semantical methods, the logic was shown to be {\sc pspace}-complete. In this paper we provide a deductive calculus for $\sf GTL$, and show this calculus to be sound and complete for the above-mentioned semantics.
