browse words by letter
a
b
c
d
e
f
g
h
i
j
k
l
m
n
o
p
q
r
s
t
u
v
w
x
y
z
metalanguage |
2 definitions found From WordNet r 1.6 [wn]: metalanguage n : a language that can be used to describe languages From The Free On-line Dictionary of Computing (13 Mar 01) [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.
more about metalanguage
This work is licensed under a
