catflap.org Online Dictionary Query |
20 definitions found
From The Free On-line Dictionary of Computing (27 SEP 03) : [ foldoc ]
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.
From The Collaborative International Dictionary of English v.0.44 : [ gcide ]
metalanguage \metalanguage\ n.
Any language that can be used to describe another language or
system of symbols.
[WordNet 1.5]
From WordNet (r) 2.0 : [ wn ]
metalanguage
n : a language that can be used to describe languages
From Greek Wiktionary: All languages (2023-07-27) : [ dictinfo.com:wikt-el-ALL-2023-07-27 ]
metalanguage
Αγγλικά n.
η μεταγλώσσα
From English Wiktionary: All languages (2023-07-27) : [ dictinfo.com:wikt-en-ALL-2023-07-27 ]
metalanguage
n.
(lb en linguistics translation studies critical theory) Any language
or vocabulary of specialized terms used to describe or analyze a
language or linguistic process
From English Wiktionary: English language only (2023-07-27) : [ dictinfo.com:wikt-en-en-2023-07-27 ]
metalanguage
n.
(lb en linguistics translation studies critical theory) Any language
or vocabulary of specialized terms used to describe or analyze a
language or linguistic process
From English Wiktionary: Western, Greek, and Slavonic languages only (2023-07-27) : [ dictinfo.com:wikt-en-Western_Greek_Slavonic-2023-07-27 ]
metalanguage
n.
(lb en linguistics translation studies critical theory) Any language
or vocabulary of specialized terms used to describe or analyze a
language or linguistic process
From English Wiktionary: Western languages only (2023-07-27) : [ dictinfo.com:wikt-en-Western-2023-07-27 ]
metalanguage
n.
(lb en linguistics translation studies critical theory) Any language
or vocabulary of specialized terms used to describe or analyze a
language or linguistic process
From English-Arabic FreeDict Dictionary ver. 0.6.3 : [ freedict:eng-ara ]
Metalanguage /mˌɛtəlˈaŋɡwɪdʒ/
اللغة التي تستخدم في تعريف لغة اخرى
From English-български език FreeDict+WikDict dictionary ver. 2023.05.29 : [ freedict:eng-bul ]
metalanguage /mˌɛtəlˈaŋɡwɪdʒ/
метаези́к
linguistical term
From English-Czech dicts.info/FreeDict Dictionary ver. 0.1.3 : [ freedict:eng-ces ]
metalanguage /mˌɛtəlˈaŋɡwɪdʒ/
metajazyk
From English - German Ding/FreeDict dictionary ver. 1.9-fd1 : [ freedict:eng-deu ]
metalanguage /mˌɛtəlˈaŋɡwɪdʒ/
Metasprache [ling.] [phil.]
see: metalanguages
From English-suomi FreeDict+WikDict dictionary ver. 2023.05.29 : [ freedict:eng-fin ]
metalanguage /mˌɛtəlˈaŋɡwɪdʒ/
metakieli 2.
computing term
3.
linguistical term
From English-Hindi FreeDict Dictionary ver. 1.6 : [ freedict:eng-hin ]
metalanguage /mˌɛtəlˈaŋɡwɪdʒ/
1. भाषा
"It's tough to understand the metalanguage spoken on shop floors."
From English-Croatian FreeDict Dictionary ver. 0.2.2 : [ freedict:eng-hrv ]
metalanguage /mˌɛtəlˈaŋɡwɪdʒ/
jezik kojim se opisuje programski jezik, metajezik
From English-日本語 (にほんご) FreeDict+WikDict dictionary ver. 2023.05.29 : [ freedict:eng-jpn ]
metalanguage /mˌɛtəlˈaŋɡwɪdʒ/
メタ言語 2.
computing term
3.
linguistical term
From English-Svenska FreeDict+WikDict dictionary ver. 2023.05.29 : [ freedict:eng-swe ]
metalanguage /mˌɛtəlˈaŋɡwɪdʒ/
metaspråk
linguistical term
From Stardic English-Chinese Dictionary : [ stardic ]
n. 语言分析用的语言;
From XDICT the English-Chinese dictionary : [ xdict ]
meta-language
元语言
From XDICT the English-Chinese dictionary : [ xdict ]
n. 语言分析用的语言
Questions or comments about this site? Contact dictionary@catflap.org
Access Stats