Definition:Constructed Semantics
Jump to navigation
Jump to search
This article is complete as far as it goes, but it could do with expansion.
You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by adding this information.
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$.
You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by adding this information.
To discuss it in more detail, feel free to use the talk page.
If you are able to do this, then when you have done so you can remove this instance of {{Expand}} from the code.
If you would welcome a second opinion as to whether your work is correct, add a call to {{Proofread}} the page (see the proofread template for usage).
Examples