Packages

p

gapt.proofs.lk

reductions

package reductions

Content Hierarchy
Ordering
  1. Alphabetic
Visibility
  1. Public
  2. Protected

Value Members

  1. object GradeReductionAnd extends CutReduction
  2. object GradeReductionAxiomBottom extends CutReduction
  3. object GradeReductionAxiomLeft extends CutReduction
  4. object GradeReductionAxiomRight extends CutReduction
  5. object GradeReductionAxiomTop extends CutReduction
  6. object GradeReductionDefinition extends CutReduction
  7. object GradeReductionEquality extends CutReduction
  8. object GradeReductionExists extends CutReduction
  9. object GradeReductionForall extends CutReduction
  10. object GradeReductionImp extends CutReduction
  11. object GradeReductionNeg extends CutReduction
  12. object GradeReductionOr extends CutReduction
  13. object GradeReductionWeakeningLeft extends CutReduction
  14. object GradeReductionWeakeningRight extends CutReduction
  15. object LeftRankAndLeftReduction extends CutReduction
  16. object LeftRankAndRightReduction extends CutReduction
  17. object LeftRankContractionLeftReduction extends CutReduction
  18. object LeftRankContractionRightReduction extends CutReduction
  19. object LeftRankCutReduction extends CutReduction
  20. object LeftRankDefinitionLeftReduction extends CutReduction
  21. object LeftRankDefinitionRightReduction extends CutReduction
  22. object LeftRankEqualityLeftReduction extends CutReduction
  23. object LeftRankEqualityRightReduction extends CutReduction
  24. object LeftRankExistsLeftReduction extends CutReduction
  25. object LeftRankExistsRightReduction extends CutReduction
  26. object LeftRankExistsSkLeftReduction extends CutReduction
  27. object LeftRankForallLeftReduction extends CutReduction
  28. object LeftRankForallRightReduction extends CutReduction
  29. object LeftRankForallSkRightReduction extends CutReduction
  30. object LeftRankImpLeftReduction extends CutReduction
  31. object LeftRankImpRightReduction extends CutReduction
  32. object LeftRankInductionReduction extends CutReduction
  33. object LeftRankNegLeftReduction extends CutReduction
  34. object LeftRankNegRightReduction extends CutReduction
  35. object LeftRankOrLeftReduction extends CutReduction
  36. object LeftRankOrRightReduction extends CutReduction
  37. object LeftRankWeakeningLeftReduction extends CutReduction
  38. object LeftRankWeakeningRightReduction extends CutReduction
  39. object RightRankAndLeftReduction extends CutReduction
  40. object RightRankAndRightReduction extends CutReduction
  41. object RightRankContractionLeftReduction extends CutReduction
  42. object RightRankContractionRightReduction extends CutReduction
  43. object RightRankCutReduction extends CutReduction
  44. object RightRankDefinitionLeftReduction extends CutReduction
  45. object RightRankDefinitionRightReduction extends CutReduction
  46. object RightRankEqualityLeftReduction extends CutReduction
  47. object RightRankEqualityRightReduction extends CutReduction
  48. object RightRankExistsLeftReduction extends CutReduction
  49. object RightRankExistsRightReduction extends CutReduction
  50. object RightRankExistsSkLeftReduction extends CutReduction
  51. object RightRankForallLeftReduction extends CutReduction
  52. object RightRankForallRightReduction extends CutReduction
  53. object RightRankForallSkRightReduction extends CutReduction
  54. object RightRankImpLeftReduction extends CutReduction
  55. object RightRankImpRightReduction extends CutReduction
  56. object RightRankInductionReduction extends CutReduction
  57. object RightRankNegLeftReduction extends CutReduction
  58. object RightRankNegRightReduction extends CutReduction
  59. object RightRankOrLeftReduction extends CutReduction
  60. object RightRankOrRightReduction extends CutReduction
  61. object RightRankWeakeningLeftReduction extends CutReduction
  62. object RightRankWeakeningRightReduction extends CutReduction
  63. object gradeReduction extends CutReduction
  64. object leftRankReduction extends CutReduction
  65. object maximumGrade
  66. object rightRankReduction extends CutReduction

Ungrouped