at.logic.skeptik

judgment

package judgment

Content Hierarchy Learn more about scaladoc diagrams
SequentLike[Repr]SequentNaturalSequentJudgment
Visibility
  1. Public
  2. All

Type Members

  1. abstract class Judgment extends AnyRef

  2. case class NamedE(name: String, expression: E) extends Product with Serializable

  3. class NaturalSequent extends Judgment

  4. abstract class Sequent extends Judgment with SequentLike[Sequent]

    An abstract superclass for all kinds of sequents.

  5. trait SequentLike[+Repr <: SequentLike[Repr]] extends AnyRef

    A trait for sequent-like data structures.

Value Members

  1. package immutable

  2. package mutable

Ungrouped