Return to Article Details A meta-logic of inference rules: Syntax Download Download PDF