- Grundbereich: Aussagen der Form
(f, b)
mit f∈Formeln,
b∈
= {0, 1}
- Axiome:
(
, 1),
(
, 0)
- Regeln:
,
,
,...
Beispiel: leite
((T∧F)∧(T∧T), 0) ab.
Durch ein Inferenzsystem kann man die Semantik von
Ausdrücken (Programmen) spezifizieren.
(hier: dynamische Semantik)
Johannes Waldmann
2011-01-23