122 3 Der Redehandlungskalkul
zusatzlich zu fordern, dass diese Aussage dort auch verfugbar ist. Analoges betrifft
Handlungsanleitung 3-10 (NE) und Handlungsanleitung 3-15 (PB).
Handlungsanleitung 3-3. Subjunktorbeseitigungsregel (SB)
Wenn man Y ∈ SEQ geauβert hat, Δ, Γ ∈ GFORM und {Δ, rΔ → Γ} ⊆ VER(Y), dann darf
man Y zu Y ∪ {(Dom(Y), rAlso Γ)} fortsetzen.
Handlungsanleitung 3-4. Konjunktoreinfuhrungsregel (KE)
Wenn man Y ∈ SEQ geauβert hat und Δ, Γ ∈ VER(Y), dann darf man Y zu Y ∪ {(Dom(Y),
rAlso Δ ∧ Γ)} fortsetzen.
Handlungsanleitung 3-5. Konjunktorbeseitigungsregel (KB)
Wenn man Y ∈ SEQ geauβert hat, Δ, Γ ∈ GFORM und {r∆ ∧ Γπ, T ∧ Δ^l} ∩ VER(Y) ≠ 0,
dann darf man Y zu Y ∪ {(Dom(Y), rAlso Γ)} fortsetzen.
Handlungsanleitung 3-6. Bisubjunktoreinfuhrungsregel (BE)
Wenn man Y ∈ SEQ geauβert hat, Δ, Γ ∈ GFORM und {r∆ → Γ^l, T → Δ^l} ⊆ VER(Y),
dann darf man Y zu Y ∪ {(Dom(Y), rAlso Δ θ Γη)} fortsetzen.
Hier wird die metalogische Separiertheitsmaxime, nach der jede Regel genau einen Ope-
rator regulieren soll, verletzt. Im Regelantezedens wird gefordert, dass bestimmte Sub-
junktionen bereits verfugbar sind. Die Bisubjunktoreinfuhrungsregel ist damit zugleich
eine Regel fur die Beseitigung von Subjunktionen in bestimmten Kontexten.
Handlungsanleitung 3-7. Bisubjunktorbeseitigungsregel (BB)
Wenn man Y ∈ SEQ geauβert hat, Δ ∈ VER(Y), Γ ∈ GFORM, und {r∆ θ Γη, T θ Δ^l} ∩
VER(Y) ≠ 0, dann darf man Y zu Y ∪ {(Dom(Y), rAlso Γ)} fortsetzen.
Handlungsanleitung 3-8. Adjunktoreinfuhrungsregel (AE)
Wenn man Y ∈ SEQ geauβert hat, Δ, Γ ∈ GFORM und {Δ, Γ} ∩ VER(Y) ≠ 0, dann darf man
Y zu Y ∪ {(Dom(Y), rAlso Δ ∨ Γ-l)} fortsetzen.
More intriguing information
1. Has Competition in the Japanese Banking Sector Improved?2. The name is absent
3. ARE VOLATILITY EXPECTATIONS CHARACTERIZED BY REGIME SHIFTS? EVIDENCE FROM IMPLIED VOLATILITY INDICES
4. Orientation discrimination in WS 2
5. The name is absent
6. Developments and Development Directions of Electronic Trade Platforms in US and European Agri-Food Markets: Impact on Sector Organization
7. Midwest prospects and the new economy
8. Bargaining Power and Equilibrium Consumption
9. The name is absent
10. Temporary Work in Turbulent Times: The Swedish Experience