the branch of logic that studies the syntactic properties of formal theories, esp the syntactic characterization of deductive validity
proof theory in Technology
logic The branch of logic describing procedures for combining logical statements to show, by a series of truth-preserving transformations, that one statement is a consequence of some other statement or group of statements. (1994-10-31)