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. WP 48 - Population ageing in the Netherlands: Demographic and financial arguments for a balanced approach
2. The name is absent
3. Momentum in Australian Stock Returns: An Update
4. NVESTIGATING LEXICAL ACQUISITION PATTERNS: CONTEXT AND COGNITION
5. Foreign Direct Investment and Unequal Regional Economic Growth in China
6. The name is absent
7. Segmentación en la era de la globalización: ¿Cómo encontrar un segmento nuevo de mercado?
8. The name is absent
9. The economic value of food labels: A lab experiment on safer infant milk formula
10. Performance - Complexity Comparison of Receivers for a LTE MIMO–OFDM System