CutReduction

Attributes

Source

CutReduction.scala

Graph

Reset zoomHide graphShow graph

Supertypes

trait Reduction

class Object

trait Matchable

class Any

Known subtypes

object GradeReductionAnd.type

object GradeReductionAxiomBottom.type

object GradeReductionAxiomLeft.type

object GradeReductionAxiomRight.type

object GradeReductionAxiomTop.type

object GradeReductionDefinition.type

object GradeReductionEquality.type

object GradeReductionExists.type

object GradeReductionForall.type

object GradeReductionImp.type

object GradeReductionNeg.type

object GradeReductionOr.type

object GradeReductionWeakeningLeft.type

object GradeReductionWeakeningRight.type

object LeftRankAndLeftReduction.type

object LeftRankAndRightReduction.type

object LeftRankContractionLeftReduction.type

object LeftRankContractionRightReduction.type

object LeftRankCutReduction.type

object LeftRankDefinitionLeftReduction.type

object LeftRankDefinitionRightReduction.type

object LeftRankEqualityLeftReduction.type

object LeftRankEqualityRightReduction.type

object LeftRankExistsLeftReduction.type

object LeftRankExistsRightReduction.type

object LeftRankExistsSkLeftReduction.type

object LeftRankForallLeftReduction.type

object LeftRankForallRightReduction.type

object LeftRankForallSkRightReduction.type

object LeftRankImpLeftReduction.type

object LeftRankImpRightReduction.type

object LeftRankInductionReduction.type

object LeftRankNegLeftReduction.type

object LeftRankNegRightReduction.type

object LeftRankOrLeftReduction.type

object LeftRankOrRightReduction.type

object LeftRankWeakeningLeftReduction.type

object LeftRankWeakeningRightReduction.type

class MaxGradeReduction

object RightRankAndLeftReduction.type

object RightRankAndRightReduction.type

object RightRankContractionLeftReduction.type

object RightRankContractionRightReduction.type

object RightRankCutReduction.type

object RightRankDefinitionLeftReduction.type

object RightRankDefinitionRightReduction.type

object RightRankEqualityLeftReduction.type

object RightRankEqualityRightReduction.type

object RightRankExistsLeftReduction.type

object RightRankExistsRightReduction.type

object RightRankExistsSkLeftReduction.type

object RightRankForallLeftReduction.type

object RightRankForallRightReduction.type

object RightRankForallSkRightReduction.type

object RightRankImpLeftReduction.type

object RightRankImpRightReduction.type

object RightRankInductionReduction.type

object RightRankNegLeftReduction.type

object RightRankNegRightReduction.type

object RightRankOrLeftReduction.type

object RightRankOrRightReduction.type

object RightRankWeakeningLeftReduction.type

object RightRankWeakeningRightReduction.type

object gradeReduction.type

object leftRankReduction.type

object rightRankReduction.type

class LeftRankInductionUnfoldingReduction

object emptyCutReduction.type

object Left.type

object Right.type

Show all