Package

at.logic.gapt.proofs.ceres

ACNF

Permalink

package ACNF

Visibility
  1. Public
  2. All

Value Members

  1. object ACNF

    Permalink

    This code is a leftover from schematic CERES and only works for specific schema proofs.

    This code is a leftover from schematic CERES and only works for specific schema proofs. For first-order CERES, the CERES object does a grounding on its own.

  2. object contractionNormalForm

    Permalink
  3. object renameIndexedVarInProjection

    Permalink
  4. object renameVar

    Permalink

Ungrouped