An error has occurred, the report has not been sent. Please check if the data is valid or try again later.
Report a problem related to object: The Relationship Between the Proof Complexities of Linear Proofs in Quantified Sequent Calculus and Substitution Frege Systems