Languages, Meta-languages and METATEM, A Discussion Paper
Howard Barringer, Graham Gough, Derek Brough, Dov M. Gabbay, Ian Hodkinson, Anthony Hunter, Richard Owens, Peter McBrien, Mark L. Reynolds, Michael Fisher · Logic Journal of IGPL · 1996
Meta-languages are vital to the development and usage of formal systems, and yet the nature of meta-languages and associated notions require clarification. Here we attempt to provide a clear definition of the requirements for a language to be a meta-language, together with consideration of issues of proof theory, model theory and interpreters for such a language.