The files below contain the final inference rules along with our justification of those rules. There are a couple of minor changes to the rules from the previous post: rules 10 and 13 have been added, and rules 9 and 11 have been given side conditions that must be satisfied. The new side conditions were not completely necessary, but they don't affect the completeness of the system, and they made the soundness proof a little less complex.
Download as ps (213k)
Download as pdf (58k)