at.logic.skeptik

prover

package prover

Visibility
  1. Public
  2. All

Type Members

  1. type Calculus [J <: Judgment, P <: Proof[J, P]] = Seq[InferenceRule[J, P]]

    Definition Classes
    package

  2. class InferenceRule [J <: Judgment, P <: Proof[J, P]] extends AnyRef

    Attributes
    abstract

  3. class Prover [J <: Judgment, P <: Proof[J, P]] extends AnyRef

    Attributes
    abstract

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