也叫“中介语”。指人们设想的在全球统一的多对多机器翻译系统中起中介作用的语言。各民族采用统一的机器翻译媒介语时，源语分析和目的语生成都只与媒介语打交道，即把源语分析转换为媒介语，再把媒介语转换生成为目的语。这样，只需分别为每种语言制定一套分析系统和一套生成系统就行了。从总体上看，这样做将大大减少机器翻译的规则系统，节省研制的费用，提高翻译的效率。目前已经提出的媒介语方案很多，不外是三大类型：或者以某种现成的自然语言作媒介语；或者创制一种人工语言作媒介语；或者介于前两者之间，采用某种经过标准化和简化的自然语言作媒介语等。
真值函项(语言)：也叫”真值函数”。定义域和值域都为真值的函项。如果一个变元的任意一个允许值，另一变元总有一个确定的值与之对应，那么后者(称为应变元)就是前者(称为自变元)的函数。真值函项的个数由真值函项中所含的..
公理系统(语言)：指从一些初始概念和公理出发，根据演绎法推演出一系列定理从而构成的系统。公理系统要满足某些一般要求，包括系统的一致性(无矛盾性)、完全性和范畴性，以及公理的独立性。公理系统一般可区分为古典公理系统..
矛盾式(语言)：也叫”永假式”、”不可满足式”。常假的真值形式。不论其中变项代表什么命题，取什么值，矛盾式的真值总是假的。一个真值形式是否矛盾式，可用真值表方法判定。例如：”pp”是否矛盾式，可用下列真值表判定： 在逻..
算子(语言)：也叫“算符”。逻辑、数学和物理学中对某些变换(映射)或运算的称呼。如在命题逻辑中，、、V、→、←→等分别称为否定算子、合取算子、析取算子、蕴涵算子和等值算子；在模态逻辑中，通常把□或L称为必然算子，◇或..
公理化方法(语言)：现代逻辑的基本方法。把一个科学理论公理化，就是用公理方法研究它，建立一个公理系统。每一科学理论都是由系列的概念和命题组成的体系，公理化的实现就是：⑴从它的诸多概念中挑选出一组初始概念，而不加定义..