normalization
Sections
ClassicalProps(jlc)
Doc
Def
Full(S) == {a:Assignment| a |= S
a |
S }
In prior sections:
full
sequent
assignment
a |
S }