at.logic.gapt.proofs.lkOld
Bottom-up construction of sequent calculus proofs.
Currently supports propositional logic as well as proof construction using expansion trees.
Main method for solving propositional sequents
a proof if there is one
Bottom-up construction of sequent calculus proofs.
Currently supports propositional logic as well as proof construction using expansion trees.