Definition:Language

From ProofWiki
Jump to navigation Jump to search

Disambiguation

This page lists articles associated with the same title. If an internal link led you here, you may wish to change the link to point directly to the intended article.

Language may refer to:


Sources


Refactor.gif

This page has been identified as a candidate for refactoring. In particular:
The above defines a language as a formal calculus endowed with a semantic interpretation -- and so differs from a formal language. Hence make this a master-with-transclusions page.

Until this has been finished, please leave {{refactor}} in the code.

New contributors: Refactoring is a task which is expected to be undertaken by experienced editors only. Because of the underlying complexity of the work needed, it is recommended that you do not embark on a refactoring task until you have become familiar with the structural nature of pages of $\mathsf{Pr} \infty \mathsf{fWiki}$.