%0 Journal Article
%T A Natural Deduction System of Temporal Logic
%A Li
%A Renwei
%J 计算机科学技术学报
%D 1988
%I 
%X This paper will present a natural deduction system of temporal logic,which includes two collections ofinference rules called “horizontal inference rules” and “vertical inference rules” respectively.It is alsoproved that the system is both sound and complete under an appropriate interpretation.Very natural andgenerally short,each proof in the system can be represented by a matrix whose entries serve to record theinference process.
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=F57FEF5FAEE544283F43708D560ABF1B&aid=44B641DE47ECC2C04822C7CCDEA972A8&yid=0702FE8EC3581E51&vid=38B194292C032A66&iid=38B194292C032A66&sid=DABEF202280E7EF1&eid=D46BA3D3D4B3C585&journal_id=1000-9000&journal_name=计算机科学技术学报&referenced_num=0&reference_num=0