natural

Type Members

1. class Assumption extends NaturalDeductionProof with Nullary

2. trait Binary extends NaturalDeductionProof with GenBinary[NaturalSequent, NaturalDeductionProof]

3. class ImpElim extends NaturalDeductionProof with Binary

4. class ImpElimC extends NaturalDeductionProof with Binary

5. class ImpElimCArrow extends AnyRef

   Attributes

   sealed abstract

6. class ImpIntro extends NaturalDeductionProof with Unary

7. class ImpIntroC extends ImpIntroCK with IntuitionisticSoundnessCondition

8. class ImpIntroCK extends NaturalDeductionProof with Unary

9. class ImpIntroCRule extends InferenceRule[NaturalSequent, NaturalDeductionProof]

   Attributes

   abstract

10. trait IntuitionisticSoundnessCondition extends ImpIntroCK

11. class NaturalDeductionProof extends Proof[NaturalSequent, NaturalDeductionProof]

    Attributes

    abstract

12. trait Nullary extends NaturalDeductionProof with GenNullary[NaturalSequent, NaturalDeductionProof]

13. trait Unary extends NaturalDeductionProof with GenUnary[NaturalSequent, NaturalDeductionProof]