Definition:Constructed Semantics

From ProofWiki
Jump to navigation Jump to search

Definition

Let $\LL$ be a formal language.


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



Examples


Also see


Sources