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. Activation of s28-dependent transcription in Escherichia coli by the cyclic AMP receptor protein requires an unusual promoter organization
2. Iconic memory or icon?
3. The migration of unskilled youth: Is there any wage gain?
4. Peer Reviewed, Open Access, Free
5. HOW WILL PRODUCTION, MARKETING, AND CONSUMPTION BE COORDINATED? FROM A FARM ORGANIZATION VIEWPOINT
6. The name is absent
7. Plasmid-Encoded Multidrug Resistance of Salmonella typhi and some Enteric Bacteria in and around Kolkata, India: A Preliminary Study
8. The name is absent
9. Regional Intergration and Migration: An Economic Geography Model with Hetergenous Labour Force
10. Großhandel: Steigende Umsätze und schwungvolle Investitionsdynamik