244 6 Korrektheit und Vollstandigkeit des Redehandlungskalkuls
VAN(StDom(S)-1) = VAN(S) und damit mit Theorem 5-13 auch VAN(S) к [β, ξ, Δ].
Mit VAN(StDom(S)-1) = VAN(S) folgt aus β ∉ TTFM({Δ} ∪ VAN(StDom(S)-I))
zudem β ∉ TTFM({Δ} ∪ VAN(S)). Theorem 5-27 ergibt VAN(S) к K(S).
(IEF): Sei S ∈ IEF(StDom(S)-1). Nach Definition 3-16 gibt es dann θ ∈ GTERM, so
dass K(S) = rθ = θ^l. Theorem 5-31 ergibt VAN(S) к K(S). ■
Theorem 6-2. Korrektheit des Redehandlungskalkuls gegenuber der Modelltheorie
Fur alle X, Γ: Wenn X H Γ, dann X к Γ.
Beweis: Sei XH Γ. Nach Theorem 3-12 ist dann X ⊆ GFORM und es gibt S ∈
RGS∖{0}, so dass Γ = K(S) und VAN(S) ⊆ X. Mit Theorem 6-1 folgt dann VAN(S) к
Γ. Mit Theorem 5-13 und VAN(S) ⊆ X ergibt sich X к Γ. ■
More intriguing information
1. Institutions, Social Norms, and Bargaining Power: An Analysis of Individual Leisure Time in Couple Households2. The name is absent
3. WP 48 - Population ageing in the Netherlands: Demographic and financial arguments for a balanced approach
4. The name is absent
5. DEMAND FOR MEAT AND FISH PRODUCTS IN KOREA
6. THE USE OF EXTRANEOUS INFORMATION IN THE DEVELOPMENT OF A POLICY SIMULATION MODEL
7. O funcionalismo de Sellars: uma pesquisa histδrica
8. Program Semantics and Classical Logic
9. The storage and use of newborn babies’ blood spot cards: a public consultation
10. Visual Perception of Humanoid Movement