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. Backpropagation Artificial Neural Network To Detect Hyperthermic Seizures In Rats
2. On the origin of the cumulative semantic inhibition effect
3. The Veblen-Gerschenkron Effect of FDI in Mezzogiorno and East Germany
4. EXECUTIVE SUMMARY
5. The storage and use of newborn babies’ blood spot cards: a public consultation
6. Co-ordinating European sectoral policies against the background of European Spatial Development
7. FOREIGN AGRICULTURAL SERVICE PROGRAMS AND FOREIGN RELATIONS
8. The Functions of Postpartum Depression
9. The name is absent
10. The economic doctrines in the wine trade and wine production sectors: the case of Bastiat and the Port wine sector: 1850-1908