Enumeration HilbertCalculusRule

Deduction rules for the Hilbert Calculus.

Enumeration Members

II: "II"

Implication Introduction

ID: "ID"

Implication Distribution

IR: "IR"

Implication Reversal

IE: "IE"

Implication Elimination