# Contents

## Idea

A judgement on the right of the “$\vdash$”-symbol of a sequent/hypothetical judgement: a judgement that is a consequence of the antecedent judgements on the left of the symbol.

If there is only a single succedent it is also called a consequent.

antecedents $\vdash$ succedents

antecedents $\vdash$ consequent

Revised on September 18, 2012 10:23:25 by Urs Schreiber (82.169.65.155)