Full-Text Search:
Home|Journal Papers|About CNKI|User Service|FAQ|Contact Us|中文
《Journal of Beijing University of Aeronautics and Astronautics》 1992-03
Add to Favorite Get Latest Update

AN OPEN LOGIC SYSTEM AND ITS IMPLEMENTATION

Wang Yawen Li Wei(Dept. of Computer Sci. and Eng. )  
An open logic system,which consists of proof calculus and hypothesis calculus,is constructed in this papaer.The hypothesis calculus is expanded to make the removal ruleset complete.The concept of removal induction sequent is introduced.Steps are given to construct the and-or-trees of removal rules and to generate the removal induction sequents.
Download(CAJ format) Download(PDF format)
CAJViewer7.0 supports all the CNKI file formats; AdobeReader only supports the PDF format.
©2006 Tsinghua Tongfang Knowledge Network Technology Co., Ltd.(Beijing)(TTKN) All rights reserved