at.logic.skeptik

proof

package proof

Visibility
  1. Public
  2. All

Type Members

  1. trait GenBinary [+J <: Judgment, +P <: Proof[J, P]] extends Proof[J, P]

  2. trait GenNullary [+J <: Judgment, +P <: Proof[J, P]] extends Proof[J, P]

  3. trait GenUnary [+J <: Judgment, +P <: Proof[J, P]] extends Proof[J, P]

  4. class Proof [+J <: Judgment, +P <: Proof[J, P]] extends AnyRef

    Attributes
    abstract

  5. class ProofNodeCollection [P <: at.logic.skeptik.proof.Proof[_, P]] extends Iterable[P]

Value Members

  1. object ProofNodeCollection extends AnyRef

  2. package natural

  3. package oldResolution

  4. package sequent