at.logic.skeptik.proof

sequent

package sequent

Visibility
  1. Public
  2. All

Type Members

  1. trait Binary extends SequentProof with GenBinary[Sequent, SequentProof]

  2. trait BothInAnt extends SequentProof with Unary with TwoAuxFormulas

  3. trait BothInSuc extends SequentProof with Unary with TwoAuxFormulas

  4. trait ImplicitContraction extends SequentProof

  5. trait InAnt extends SequentProof with Unary with SingleAuxFormula

  6. trait InSuc extends SequentProof with Unary with SingleAuxFormula

  7. trait Left extends SequentProof with SingleMainFormula

  8. trait LeftInSucRightInAnt extends SequentProof with Binary with TwoAuxFormulas

  9. trait NoAuxFormula extends SequentProof with Unary

  10. trait NoImplicitContraction extends SequentProof

  11. trait NoMainFormula extends SequentProof

  12. trait Nullary extends SequentProof with GenNullary[Sequent, SequentProof]

  13. trait OnePerAntecedent extends SequentProof with Binary with TwoAuxFormulas

  14. trait OnePerCedent extends SequentProof with Unary with TwoAuxFormulas

  15. trait OnePerSuccedent extends SequentProof with Binary with TwoAuxFormulas

  16. trait Right extends SequentProof with SingleMainFormula

  17. class SequentProof extends Proof[Sequent, SequentProof]

    Attributes
    abstract

  18. trait SingleAuxFormula extends AnyRef

  19. trait SingleMainFormula extends SequentProof

  20. trait TwoAuxFormulas extends AnyRef

  21. trait Unary extends SequentProof with GenUnary[Sequent, SequentProof]

Value Members

  1. package lk

  2. package resolution