The basic principles behind proof calculus in formal systems involve the rigorous and systematic application of inference rules to derive conclusions from premises, ensuring that each step of the deduction is logically valid, thereby constructing a proof that demonstrates the truth of a statement within a formal language.