  These calculi are formed in the same way as the corresponding calculi for classical logic: some set of axioms is used together with a set of inference rules. The notion of derivation is the usual one.