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