Systematik wfmA

• bisher: Interpretation der Funktionssymbole durch multilineare Funktionen über $\mathbb {N}$. — Erweiterungen:
  • Polynome über $\mathbb {N}$
  • lineare Funktionen (Matrizen) über $\mathbb {N}$^d
  • ...über anderen Halbringen, wie ({ - ∞}∪$\mathbb {N}$, max, +)
• für jedes solche Klasse von Algebren möchte man lösen:
  • das Verifikations-Problem:

    gegeben: (endliche Beschreibung einer) Algebra A,

    gesucht: A ist monoton? A ist kompatibel mit R?

  • das Synthese-Problem:

    gegeben R, gesucht R-kompatible wfmA A