at.logic.skeptik

prover

package prover

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. prover
  2. AnyRef
  3. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Type Members

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

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

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

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

Inherited from AnyRef

Inherited from Any

Ungrouped