Ein pragmatisierter Kalkul des naturlichen Schlieβens nebst Metatheorie



278 Theoremverzeichnis

Theorem 5-20. Modelltheoretische Entsprechung zu BE*...........................................................................232

Theorem 5-21. Modelltheoretische Entsprechung zu BB............................................................................232

Theorem 5-22. Modelltheoretische Entsprechung zu AE ............................................................................ 233

Theorem 5-23. Modelltheoretische Entsprechung zu AB ............................................................................ 233

Theorem 5-24. Modelltheoretische Entsprechung zu AB* .......................................................................... 233

Theorem 5-25. Modelltheoretische Entsprechung zu NE ............................................................................ 234

Theorem 5-26. Modelltheoretische Entsprechung zu NB ............................................................................ 234

Theorem 5-27. Modelltheoretische Entsprechung zu UE ............................................................................ 234

Theorem 5-28. Modelltheoretische Entsprechung zu UB ............................................................................ 235

Theorem 5-29. Modelltheoretische Entsprechung zu PE ............................................................................. 235

Theorem 5-30. Modelltheoretische Entsprechung zu PB ............................................................................ 236

Theorem 5-31. Modelltheoretische Entsprechung zu IE .............................................................................. 236

Theorem 5-32. Modelltheoretische Entsprechung zu IB ............................................................................. 237

Theorem 6-1. Hauptbeweis der Korrektheit ................................................................................................ 240

Theorem 6-2. Korrektheit des Redehandlungskalkuls gegenuber der Modelltheorie.................................244

Theorem 6-3. Beschrankungen von LH-Modellen auf L sind L-Modelle.......................................................246

Theorem 6-4. LH-Modelle verhalten sich im Bezug auf geschlossene L-Terme, L-Aussagen und L-

Aussagenmengen genauso wie ihre Beschrankungen auf L............................................................... 247

Theorem 6-5. Eine L-Aussagenmenge ist genau dann LH-erfullbar, wenn sie L-erfullbar ist ....................... 247

Theorem 6-6. L-Sequenzen sind genau dann RGSH-Elemente, wenn sie RGS-Elemente sind ...................... 248

Theorem 6-7. Eine L-Aussage ist genau dann aus einer L-Aussagenmenge LH-ableitbar, wenn sie aus dieser

Menge L-ableitbar ist ......................................................................................................................... 248

Theorem 6-8. Eine L-Aussagenmenge ist genau dann LH-konsistent, wenn sie L-konsistent ist.................. 249

Theorem 6-9. Hintikka-Obermengen fur konsistente L-Aussagenmengen ................................................. 250

Theorem 6-10. Jede Hintikka-Menge ist LH-erfullbar .................................................................................. 254

Theorem 6-11. Modelltheoretische Konsequenzschaft impliziert Ableitbarkeit ......................................... 259

Theorem 6-12. Kompaktheitssatz ............................................................................................................... 259



More intriguing information

1. Initial Public Offerings and Venture Capital in Germany
2. Review of “The Hesitant Hand: Taming Self-Interest in the History of Economic Ideas”
3. The name is absent
4. The Prohibition of the Proposed Springer-ProSiebenSat.1-Merger: How much Economics in German Merger Control?
5. Can genetic algorithms explain experimental anomalies? An application to common property resources
6. The name is absent
7. Conflict and Uncertainty: A Dynamic Approach
8. A NEW PERSPECTIVE ON UNDERINVESTMENT IN AGRICULTURAL R&D
9. On s-additive robust representation of convex risk measures for unbounded financial positions in the presence of uncertainty about the market model
10. Nurses' retention and hospital characteristics in New South Wales, CHERE Discussion Paper No 52