ON OPTIMIZING PROOF SEARCH IN LINEAR LOGIC BY VALUE ITERATION METHOD

SUMMARY In this article we are interested in proving of linear logic sequents. In linear sequent calculus one sequent can have more than one proof tree. We c...