Complex sentence: In mathematical logic, proof calculus corresponds to a family of formal systems, which use a common style of formal inference to specify inference rules that characterize the theory of a logic.
Split into simpler sentences: In mathematical logic, a proof calculus corresponds to a family of formal systems that use a common style of formal inference for its inference rules. The specific inference rules of a member of such a family characterize the theory of a logic.