Ein pragmatisierter Kalkul des naturlichen Schlieβens nebst Metatheorie



Theoremverzeichnis 275

Theorem 2-83. Zusammenhang von Nichtverfugbarkeit und der Entstehung eines geschlossenen Abschnitts
beim Ubergang von
QfDom(Q)-1 auf Q............................................................................................109

Theorem 2-84. VERS-Verringerung beim Ubergang von QfDom(Q)-1 zu Q dann und nur dann, wenn dabei
ein neuer geschlossener Abschnitt erzeugt wird
................................................................................ 112

Theorem 2-85. VANS-Verringerung beim Ubergang von QfDom(Q)-I zu Q dann und nur dann, wenn dabei
ein neuer geschlossener Abschnitt erzeugt wird, dessen erstes Glied gerade der nun unverfugbare
Annahmesatz und das maximale Glied in
VANS(QfDom(Q)-I) ist.....................................................113

Theorem 2-86. Ist das letzte Glied eines geschlossenen Abschnitts Ъ in Q mit dem Ietzten Glied von Q
identisch, dann ist das erste Glied von Ъ das maximale Glied von VANS(QfDom(Q)-I) und in Q nicht

mehr verfugbar .................................................................................................................................. 114

Theorem 2-87. Beim Ubergang von QfDom(Q)-I zu Q verringert sich die Anzahl der verfugbaren
Annahmesatze maximal um eins.......................................................................................................
115

Theorem 2-88. Beim Ubergang von Qf Dom(Q)-1 zu Q impliziert echte VAN-Inklusion echte VANS-Inklusion
........................................................................................................................................................... 115

Theorem 2-89. Vorbereitungstheorem (a) fur Theorem 2-91, Theorem 2-92 und Theorem 2-93............... 115

Theorem 2-90. Vorbereitungstheorem (b) fur Theorem 2-91, Theorem 2-92 und Theorem 2-93............... 116

Theorem 2-91. SE-Schlieβt!-Theorem.........................................................................................................116

Theorem 2-92. NE-Schlieβt!-Theorem.........................................................................................................117

Theorem 2-93. PB-Schlieβt!-Theorem.........................................................................................................117

Theorem 3-1. RGF-Fortsetzungen von Sequenzen sind nicht-leere Sequenzen ........................................... 131

Theorem 3-2. RGF ist fur keine Sequenz leer ............................................................................................... 132

Theorem 3-3. Die Elemente von RGF(Q) sind Fortsetzungen von Q um genau einen Satz.........................132

Theorem 3-4. RGF-Fortsetzungen von Sequenzen sind genau um eins machtiger als die Ausgangssequenz
........................................................................................................................................................... 132

Theorem 3-5. Eindeutige RGF-Vorganger ................................................................................................... 133

Theorem 3-6. Eine Sequenz Q ist genau dann in RGS, wenn sie leer oder eine regelgemaβe Fortsetzung von

QfDom(Q)-1 undQfDom(Q)-1 ein RGS-Elementist..........................................................................133

Theorem 3-7. Die regelgemaβe Fortsetzung eines RGS-Elements fuhrt zu einem nicht-leeren RGS-Element
........................................................................................................................................................... 134

Theorem 3-8. Q ist genau dann ein nicht-leeres RGS-Element, wenn Q eine nicht-leere Sequenz ist und alle

nicht-leeren Anfangsabschnitte von Q nicht-leere RGS-Elemente sind..............................................134

Theorem 3-9. Eigenschaften von Ableitungen ............................................................................................ 135

Theorem 3-10. In nicht-leeren RGS-Elementen, sind alle nicht-leeren Anfangsabschnitte -Ableitungen ihrer

Konklusion .......................................................................................................................................... 135

Theorem 3-11. Eindeutigkeitssatz fur den Redehandlungskalkul ............................................................... 136



More intriguing information

1. The problem of anglophone squint
2. The Impact of EU Accession in Romania: An Analysis of Regional Development Policy Effects by a Multiregional I-O Model
3. The InnoRegio-program: a new way to promote regional innovation networks - empirical results of the complementary research -
4. The urban sprawl dynamics: does a neural network understand the spatial logic better than a cellular automata?
5. Citizenship
6. Delayed Manifestation of T ransurethral Syndrome as a Complication of T ransurethral Prostatic Resection
7. Studies on association of arbuscular mycorrhizal fungi with gluconacetobacter diazotrophicus and its effect on improvement of sorghum bicolor (L.)
8. New urban settlements in Belarus: some trends and changes
9. The name is absent
10. The name is absent