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. Effects of a Sport Education Intervention on Students’ Motivational Responses in Physical Education
2. The name is absent
3. The name is absent
4. Human Resource Management Practices and Wage Dispersion in U.S. Establishments
5. The name is absent
6. Creating a 2000 IES-LFS Database in Stata
7. Secondary stress in Brazilian Portuguese: the interplay between production and perception studies
8. On Dictatorship, Economic Development and Stability
9. The name is absent
10. The name is absent