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.