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. An Attempt to 2
2. The name is absent
3. CHANGING PRICES, CHANGING CIGARETTE CONSUMPTION
4. Chebyshev polynomial approximation to approximate partial differential equations
5. Response speeds of direct and securitized real estate to shocks in the fundamentals
6. Special and Differential Treatment in the WTO Agricultural Negotiations
7. The Clustering of Financial Services in London*
8. Segmentación en la era de la globalización: ¿Cómo encontrar un segmento nuevo de mercado?
9. The Nobel Memorial Prize for Robert F. Engle
10. The name is absent