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. Thresholds for Employment and Unemployment - a Spatial Analysis of German Regional Labour Markets 1992-2000
2. Apprenticeships in the UK: from the industrial-relation via market-led and social inclusion models
3. Behavioural Characteristics and Financial Distress
4. The name is absent
5. The name is absent
6. WP 1 - The first part-time economy in the world. Does it work?
7. The name is absent
8. Insecure Property Rights and Growth: The Roles of Appropriation Costs, Wealth Effects, and Heterogeneity
9. The name is absent
10. Improvements in medical care and technology and reductions in traffic-related fatalities in Great Britain
11. The migration of unskilled youth: Is there any wage gain?
12. Opciones de política económica en el Perú 2011-2015
13. Monopolistic Pricing in the Banking Industry: a Dynamic Model
14. he Effect of Phosphorylation on the Electron Capture Dissociation of Peptide Ions
15. The name is absent
16. Testing Gribat´s Law Across Regions. Evidence from Spain.
17. Design and investigation of scalable multicast recursive protocols for wired and wireless ad hoc networks
18. The name is absent
19. A model-free approach to delta hedging
20. EXECUTIVE SUMMARIES