C10 Georg Meggle
T.K30: KV(S,H,f,r) B ├
KV(S,H,f,r) G(S,K(G´(H,B),T(S,f)))
T.K31: KV(S,H,f,r) B ├
KV(S,H,f,r) P(S,G´(H,B))
T.K32: KV(S,H,f,r) B - KV(S,H,f,r)
(G(S,G´(H,B) T(S,f)) I(S,f,G´(H,B)))
T.K33: KV(S,H,f,r) I(S,f,B) ├
KV(S,H,f,r) I(S,f,G´(H,I(S,f,B)))
T.K34: KV(S,H,f,r) G(S,A) - KV(S,H,f,r) 0*(S,H,A)
T.K35: KV(S,H,f,r) I(S,f,B) ├
KV(S,H,f,r) I*(S,H,f,I(S,f,B))
T.K36: KV(S,H,f,r) I*(S,H,f,r)
T.K37: KV(S,H,f,r) G(S,I*(S,H,f,r)) I*(S,H,f,I*(S,H,f,r))
T.K38: KV(S,H,f,r) I*(S,H,f,MI(S,H,f,r))
T.K39: KV(S,H,f,r) MI*(S,H,f,r)
T.K40: KV(S,H,f,r) T(S,f)
P(S,T´(H,r))
G(S,K(G´(H,KV*),T(S,f)))
G(S,K(T´(H,r) ...