Get Affordable VMs - excellent virtual server hosting


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

metalanguagemore about metalanguage

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