Category:Interpretations

From ProofWiki
Jump to navigation Jump to search

This category contains results about Interpretations.
Definitions specific to this category can be found in Definitions/Interpretations.

Let $S$ be the codomain of a mapping $f$ whose domain consists of the set of expressions of a formal language $\FF$.

Then $S$ together with $f$ are known as an interpretation.

Subcategories

This category has only the following subcategory.