Sequent calculus

A labeled sequent calculus for interval temporal logic

区间时序逻辑的标记相继式演算

In this paper , the authors briefly describe the semantic encoding approach , and the sequent calculus , as well as the related implementation techniques of the DC / P.

该文介绍了DC/P的语义编码方法、采用的相继式证明系统及实现技术，并给出了应用实例。