Definition:Metalanguage/Object Language
Jump to navigation
Jump to search
Definition
The object language of a metalanguage is the language described by that metalanguage.
Sources
- 1993: M. Ben-Ari: Mathematical Logic for Computer Science ... (previous) ... (next): Chapter $2$: Propositional Calculus: $\S 2.4$: Logical equivalence and substitution
- 2008: David Nelson: The Penguin Dictionary of Mathematics (4th ed.) ... (previous) ... (next): object language