at.logic.skeptik

judgment

package judgment

Visibility
  1. Public
  2. All

Type Members

  1. class ASequent extends Judgment

    Attributes
    abstract

  2. class Judgment extends AnyRef

    Attributes
    abstract

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

  4. class NaturalSequent extends Judgment

  5. class Sequent extends Judgment

Value Members

  1. object Sequent extends AnyRef

  2. package immutable

  3. package mutable