Ein pragmatisierter Kalkul des naturlichen Schlieβens nebst Metatheorie



268 Definitionsverzeichnis

Definition 2-1. Abschnitt in einer Sequenz (Metavariablen: &, S, ¢, &', S', ¢', &*, S*, £*, ...).................48

Definition 2-2. Zuordnung der Menge der Abschnitte von ft (ABS)..............................................................48

Definition 2-3. Abschnitt ............................................................................................................................... 48

Definition 2-4. Teilabschnitt .......................................................................................................................... 48

Definition 2-5. Echter Teilabschnitt ............................................................................................................... 48

Definition 2-6. Passende Folgen naturlicher Zahlen fur Teilmengen von Sequenzen....................................54

Definition 2-7. Abschnittsfolgen fur Sequenzen............................................................................................56

Definition 2-8. Zuordnung der Menge der Abschnittsfolgen fur ft (ABSF)....................................................56

Definition 2-9. ANS-umfassende Abschnittsfolge fur einen Abschnitt in ft...................................................59

Definition 2-10. Zuordnung der Menge der ANS-umfassenden Abschnittsfolgen in ft (ANSUMF)...............59

Definition 2-11. SE-artiger Abschnitt ............................................................................................................ 64

Definition 2-12. NE-artiger Abschnitt ............................................................................................................ 64

Definition 2-13. EA-artiger Abschnitt ............................................................................................................ 65

Definition 2-14. Minimaler SE-geschlossener Abschnitt ............................................................................... 66

Definition 2-15. Minimaler NE-geschlossener Abschnitt ............................................................................... 66

Definition 2-16. Minimaler PB-geschlossener Abschnitt ............................................................................... 66

Definition 2-17. Minimaler geschlossener Abschnitt .................................................................................... 67

Definition 2-18. Proto-Erzeugungsrelation fur non-redundante SE-, NE- und EA-artige Abschnitte in

Sequenzen (PERZ) ................................................................................................................................. 68

Definition 2-19. Erzeugungsrelation fur non-redundante SE-, NE- und EA-artige Abschnitte in Sequenzen

(ERZ) .....................................................................................................................................................70

Definition 2-20. Menge der ERZ-induktiven Relationen (GSR) ...................................................................... 72

Definition 2-21. Die kleinste ERZ-induktive Relation (GS) ............................................................................. 73

Definition 2-22. Geschlossener Abschnitt ..................................................................................................... 74

Definition 2-23. SE-geschlossener Abschnitt ................................................................................................. 90

Definition 2-24. NE-geschlossener Abschnitt ................................................................................................ 90

Definition 2-25. PB-geschlossener Abschnitt................................................................................................. 91

Definition 2-26. Verfugbarkeit einer Aussage in einer Sequenz an einer Stelle .......................................... 104

Definition 2-27. Verfugbarkeit einer Aussage in einer Sequenz .................................................................. 104

Definition 2-28. Zuordnung der Menge der verfugbaren Satze (VERS).......................................................104

Definition 2-29. Zuordnung der Menge der verfugbaren Annahmesatze (VANS).......................................104

Definition 2-30. Zuordnung der Menge der verfugbaren Aussagen (VER) .................................................. 105

Definition 2-31. Zuordnung der Menge der verfugbaren Annahmen (VAN) ............................................... 105

Definition 3-1. Annahmefunktion (AF) ........................................................................................................ 127

Definition 3-2. Subjunktoreinfuhrungsfunktion (SEF) .................................................................................. 128

Definition 3-3. Subjunktorbeseitigungsfunktion (SBF) ................................................................................ 128



More intriguing information

1. Globalization and the benefits of trade
2. The name is absent
3. The name is absent
4. The name is absent
5. An Interview with Thomas J. Sargent
6. The name is absent
7. The Mathematical Components of Engineering
8. EXECUTIVE SUMMARIES
9. REVITALIZING FAMILY FARM AGRICULTURE
10. Spatial Aggregation and Weather Risk Management