Before revision: Typically, uniform proofs are not complete for the logic i.e., not all sequents or formulas admit a uniform proof, so one considers fragments where they are complete e.g., the hereditary Harrop fragment of Intuitionistic logic.
After revision: Typically, uniform proofs are not complete for the logic i.e., not all sequents or formulas admit a uniform proof, so one considers fragments where they are complete e.g., the hereditary Harrop fragment of intuitionisticprovable logic.