Axiomatic semantics

A style of semantics that defines a language based on its proof rules/laws, rather than how it runs or what mathematical objects it denotes.