A Complete Aziomatization of Propositional Projection Temporal Logic

摘要：

This paper investigates a complete axiomatic system for Propositional Projection Temporal Logic (PPTL). To this end, the syntax, semantics, and logic laws of PPTL are briefly introduced. Further, the normal form of PPTL formulas is presented. Moreover, an axiomatic system of PPTL is formalized. A set of axioms and inference rules are given in details. To assist the proof within the system, some theorems are proved by means of the axioms and rules. In addition, based on the axioms, rules and theorems, the soundness and completeness of the deductive system are proved. Finally, an example is given to illustrate how the axiom system works.

作者: Zhenhua Duan Nan Zhang

作者单位: Institute of Computing Theory and Technology Xidian University.Xian 710071, P.R.China Institute of Computing Theory and Technology Xidian University, Xian 710071, P.R.China

会议类型: 国际会议

会议名称: 第二届IFIP/IEEE软件工程理论基础国际研讨会(TASE 2008)(Second IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering)

会议地点: 南京

会议语种:英文

页码: 271-278

在线出版日期: 2008-06-17（万方平台首次上网日期，不代表论文的发表时间）