Σ-algebra -
A
\skipx
= ( {A
s
}
s ∈ S
, Σ)
interpretation - eval : T
Σ
→
A
\skipx
adequacy -
A
\skipx
\models t1 = t2 \desdak E \vdash t1 = t2
slide
:
Interpretations and models