Ein pragmatisierter Kalkul des naturlichen Schlieβens nebst Metatheorie



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 XGFORM 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. Commitment devices, opportunity windows, and institution building in Central Asia
2. EDUCATIONAL ACTIVITIES IN TENNESSEE ON WATER USE AND CONTROL - AGRICULTURAL PHASES
3. Firm Creation, Firm Evolution and Clusters in Chile’s Dynamic Wine Sector: Evidence from the Colchagua and Casablanca Regions
4. THE EFFECT OF MARKETING COOPERATIVES ON COST-REDUCING PROCESS INNOVATION ACTIVITY
5. The name is absent
6. Competition In or For the Field: Which is Better
7. The name is absent
8. ¿Por qué se privatizan servicios en los municipios (pequeños)? Evidencia empírica sobre residuos sólidos y agua.
9. The WTO and the Cartagena Protocol: International Policy Coordination or Conflict?
10. Gianluigi Zenti, President, Academia Barilla SpA - The Changing Consumer: Demanding but Predictable