CutReduction

Attributes

Source

CutReduction.scala

Graph

Reset zoomHide graphShow graph

Supertypes

trait Reduction

class Object

trait Matchable

class Any

Known subtypes

object GradeReductionAnd

object GradeReductionAxiomBottom

object GradeReductionAxiomLeft

object GradeReductionAxiomRight

object GradeReductionAxiomTop

object GradeReductionDefinition

object GradeReductionEquality

object GradeReductionExists

object GradeReductionForall

object GradeReductionImp

object GradeReductionNeg

object GradeReductionOr

object GradeReductionWeakeningLeft

object GradeReductionWeakeningRight

object LeftRankAndLeftReduction

object LeftRankAndRightReduction

object LeftRankContractionLeftReduction

object LeftRankContractionRightReduction

object LeftRankCutReduction

object LeftRankDefinitionLeftReduction

object LeftRankDefinitionRightReduction

object LeftRankEqualityLeftReduction

object LeftRankEqualityRightReduction

object LeftRankExistsLeftReduction

object LeftRankExistsRightReduction

object LeftRankExistsSkLeftReduction

object LeftRankForallLeftReduction

object LeftRankForallRightReduction

object LeftRankForallSkRightReduction

object LeftRankImpLeftReduction

object LeftRankImpRightReduction

object LeftRankInductionReduction

object LeftRankNegLeftReduction

object LeftRankNegRightReduction

object LeftRankOrLeftReduction

object LeftRankOrRightReduction

object LeftRankWeakeningLeftReduction

object LeftRankWeakeningRightReduction

class MaxGradeReduction

object RightRankAndLeftReduction

object RightRankAndRightReduction

object RightRankContractionLeftReduction

object RightRankContractionRightReduction

object RightRankCutReduction

object RightRankDefinitionLeftReduction

object RightRankDefinitionRightReduction

object RightRankEqualityLeftReduction

object RightRankEqualityRightReduction

object RightRankExistsLeftReduction

object RightRankExistsRightReduction

object RightRankExistsSkLeftReduction

object RightRankForallLeftReduction

object RightRankForallRightReduction

object RightRankForallSkRightReduction

object RightRankImpLeftReduction

object RightRankImpRightReduction

object RightRankInductionReduction

object RightRankNegLeftReduction

object RightRankNegRightReduction

object RightRankOrLeftReduction

object RightRankOrRightReduction

object RightRankWeakeningLeftReduction

object RightRankWeakeningRightReduction

object gradeReduction

object leftRankReduction

object rightRankReduction

class LeftRankInductionUnfoldingReduction

object emptyCutReduction

object Left

object Right

Show all