3.
s
L.(
(s) = 0)4.
sL.|= s 
|= S 5.
a:Assignment. 
sL.a |
s a | S
|= S 
(a:Assignment. a | S) |= S (a:Assignment. a | S)G:Sequent.
L:Sequent List. sL.((s) = 0) & (sL.|= s |= G ) & (a:Assignment. sL.a | s a | G)
[S]
| 1 | 2. L: Sequent List 3. sL.((s) = 0)4. sL.|= s |= S 5. a:Assignment. sL.a | s a | S |= S (a:Assignment. a | S) |
About:
 |  |