Chop Logic Core - v1.8.0
    Preparing search index...

    Enumeration HilbertCalculusRule

    Deduction rules for the Hilbert Calculus.

    Index

    Enumeration Members

    Enumeration Members

    II: "II"

    Implication Introduction

    ID: "ID"

    Implication Distribution

    IR: "IR"

    Implication Reversal

    IE: "IE"

    Implication Elimination