lk

Type Members

1. class AbstractCut extends SequentProof with Binary with TwoAuxFormulas with LeftInSucRightInAnt with NoMainFormula

   Attributes

   abstract

2. class AllL extends SequentProof with Unary with SingleAuxFormula with InAnt with SingleMainFormula with Left with NoImplicitContraction

3. class AllR extends SequentProof with Unary with SingleAuxFormula with InSuc with SingleMainFormula with Right with NoImplicitContraction with EigenvariableCondition

4. class AndL extends SequentProof with Unary with TwoAuxFormulas with BothInAnt with SingleMainFormula with Left with NoImplicitContraction

5. class AndR extends SequentProof with Binary with TwoAuxFormulas with OnePerSuccedent with NoImplicitContraction with SingleMainFormula with Right

6. class AuxiliaryFormulaNotFoundException extends Exception

7. class Axiom extends SequentProof with Nullary with NoImplicitContraction

8. class AxiomTaut extends SequentProof with Nullary with NoImplicitContraction

9. class Cut extends AbstractCut with NoImplicitContraction

10. class CutIC extends AbstractCut with ImplicitContraction

11. trait EigenvariableCondition extends SequentProof

12. class ExL extends SequentProof with Unary with SingleAuxFormula with InAnt with SingleMainFormula with Left with NoImplicitContraction with EigenvariableCondition

13. class ExR extends SequentProof with Unary with SingleAuxFormula with InSuc with SingleMainFormula with Right with NoImplicitContraction

14. class WeakeningL extends SequentProof with Unary with NoAuxFormula with SingleMainFormula with Left with NoImplicitContraction