S:Sequent.
(S) < ( < hyp,concl > ) 
(
L:Sequent List. s
L.((s) = 0) & (sL.|= s |= S ) & (a:Assignment. sL.a |
s a | S))
fhyp.((f) > 0)fconcl.((f) > 0)
( < hyp,concl > ) = 0hyp,concl:Formula List.
fhyp.((f) > 0) fconcl.((f) > 0) ( < hyp,concl > ) = 0None
About:
| | | | | |
 |  |  |  |  |