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. MICROWORLDS BASED ON LINEAR EQUATION SYSTEMS: A NEW APPROACH TO COMPLEX PROBLEM SOLVING AND EXPERIMENTAL RESULTS
2. On the Integration of Digital Technologies into Mathematics Classrooms
3. AGRICULTURAL TRADE LIBERALIZATION UNDER NAFTA: REPORTING ON THE REPORT CARD
4. The name is absent
5. Fiscal Policy Rules in Practice
6. Constrained School Choice
7. The Impact of Financial Openness on Economic Integration: Evidence from the Europe and the Cis
8. An Investigation of transience upon mothers of primary-aged children and their school
9. AN ECONOMIC EVALUATION OF THE COLORADO RIVER BASIN SALINITY CONTROL PROGRAM
10. What Drives the Productive Efficiency of a Firm?: The Importance of Industry, Location, R&D, and Size