Package

at.logic.gapt.proofs

lksk

Permalink

package lksk

Content Hierarchy Learn more about scaladoc diagrams
Visibility
  1. Public
  2. All

Type Members

  1. class LKskToExpansionProof extends LKToExpansionProof

    Permalink
  2. class LabelledFormulaOccurrence extends FormulaOccurrence

    Permalink
  3. case class LabelledOccSequent(l_antecedent: Seq[LabelledFormulaOccurrence], l_succedent: Seq[LabelledFormulaOccurrence]) extends OccSequent with Product with Serializable

    Permalink
  4. class rule_isomorphic extends AnyRef

    Permalink

Value Members

  1. object Axiom

    Permalink
  2. object ExistsSkLeftRule

    Permalink
  3. object ExistsSkLeftRuleType extends UnaryRuleTypeA with Product with Serializable

    Permalink
  4. object ExistsSkRightRule

    Permalink
  5. object ExistsSkRightRuleType extends UnaryRuleTypeA with Product with Serializable

    Permalink
  6. object ForallSkLeftRule

    Permalink
  7. object ForallSkLeftRuleType extends UnaryRuleTypeA with Product with Serializable

    Permalink
  8. object ForallSkRightRule

    Permalink
  9. object ForallSkRightRuleType extends UnaryRuleTypeA with Product with Serializable

    Permalink
  10. object LKskFOFactory extends FOFactory

    Permalink
  11. object LKskToExpansionProof extends LKskToExpansionProof

    Permalink

    Extends expansion tree extraction to lksk.

  12. object LabelledFormulaOccurrence

    Permalink
  13. object TypeSynonyms

    Permalink
  14. object UnaryLKskProof

    Permalink
  15. object WeakeningLeftRule

    Permalink
  16. object WeakeningRightRule

    Permalink
  17. object applySubstitution extends Logger

    Permalink
  18. object eliminateDefinitions

    Permalink
  19. object rule_isomorphic extends rule_isomorphic

    Permalink

    Created by marty on 8/25/14.

  20. object sequentToLabelledSequent

    Permalink

Ungrouped