Definition:Constructed Semantics

From ProofWiki
Jump to navigation Jump to search

Definition

Let $\mathcal L$ be a formal language.


A constructed semantics for $\mathcal L$ is a formal semantics which is invented solely for proving a property about $\mathcal L$ or other entities related to $\mathcal L$.


Examples


Also see