Dictionary    Maps    Thesaurus    Translate    Advanced >   


Tip: Click Thesaurus above for synonyms. Also, follow synonym links within the dictionary to find definitions from other sources.
1. WordNet® 3.0 (2006)
metalanguage
    n 1: a language that can be used to describe languages
2. The Collaborative International Dictionary of English v.0.48
metalanguage \metalanguage\ n.
   Any language that can be used to describe another language or
   system of symbols.
   [WordNet 1.5]
3. The Free On-line Dictionary of Computing (30 December 2018)
metalanguage

   1. [theorem proving] A language in which proofs are
   manipulated and tactics are programmed, as opposed to the
   logic itself (the "object language").  The first ML was
   the metalanguage for the Edinburgh LCF proof assistant.

   2. [logic] A language in which to discuss the truth of
   statements in another language.
Common Misspellings >
Most Popular Searches: Define Misanthrope, Define Pulchritudinous, Define Happy, Define Veracity, Define Cornucopia, Define Almuerzo, Define Atresic, Define URL, Definitions Of Words, Definition Of Get Up, Definition Of Quid Pro Quo, Definition Of Irreconcilable Differences, Definition Of Word, Synonyms of Repetitive, Synonym Dictionary, Synonym Antonyms. See our main index and map index for more details.

©2011-2024 ZebraWords.com - Define Yourself - The Search for Meanings and Meaning Means I Mean. All content subject to terms and conditions as set out here. Contact Us, peruse our Privacy Policy