Nuprl Theory sequent_sat_lemmas
(only non hidden objects are presented)
THM
not_sequent_satisfiable_and_falsifiable
S:Sequent.
a:Assignment.
(a |= S
a |
S)
the other theories