Axiomatic semantics

math :: theory of computation :: terms

Axiomatic semantics, whereby one gives meaning to phrases by describing the axioms that apply to them.

Axiomatic semantics makes no distinction between a phrase's meaning and the logical formulas that describe it. Its meaning is exactly what can be proven about it in some logic.

The canonical example of axiomatic semantics is Hoare logic.