Declarative Semantics

• Interpretation of a constant –

  • <object constant> Þ <object>
  • <logical constant> Þ <truth value>
  • <relation constant> Þ <relation>
  • <function constant> Þ <function>

• Variable assignment –

  • <individual variable> Þ <object>
  • <sequence variable> Þ <finite sequence of objects>

• Semantic value of a term – <term> Þ <object>

  • Defined in terms of an interpretation and variable assignment

• Truth value of a sentence – <sentence> Þ {true, false}

  • Defined in terms of an interpretation and variable assignment

• Version of a variable assignment

  V’ is a version of a variable assignment V with respect to variables v1,…,vn if and only if V’ agrees with V on all variables except v1,…,vn.
  

Previous slide

Next slide

Back to first slide

View graphic version