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. BUSINESS SUCCESS: WHAT FACTORS REALLY MATTER?
2. Wounds and reinscriptions: schools, sexualities and performative subjects
3. Migrant Business Networks and FDI
4. Neural Network Modelling of Constrained Spatial Interaction Flows
5. ¿Por qué se privatizan servicios en los municipios (pequeños)? Evidencia empírica sobre residuos sólidos y agua.
6. Target Acquisition in Multiscale Electronic Worlds
7. The name is absent
8. Evidence on the Determinants of Foreign Direct Investment: The Case of Three European Regions
9. The constitution and evolution of the stars
10. Declining Discount Rates: Evidence from the UK
11. Demand Potential for Goat Meat in Southern States: Empirical Evidence from a Multi-State Goat Meat Consumer Survey
12. Olfactory Neuroblastoma: Diagnostic Difficulty
13. Changing spatial planning systems and the role of the regional government level; Comparing the Netherlands, Flanders and England
14. Visual Perception of Humanoid Movement
15. The name is absent
16. The name is absent
17. Getting the practical teaching element right: A guide for literacy, numeracy and ESOL teacher educators
18. The name is absent
19. Confusion and Reinforcement Learning in Experimental Public Goods Games
20. The name is absent