现代逻辑的基本方法。把一个科学理论公理化，就是用公理方法研究它，建立一个公理系统。每一科学理论都是由系列的概念和命题组成的体系，公理化的实现就是：⑴从它的诸多概念中挑选出一组初始概念，而不加定义的概念，该理论中的其余概念，都由初始概念通过定义引入，即都用初始概念定义，称为导出概念；⑵从它的一系列命题中挑选出一组公理，而不加证明的命题，即其余的命题都应用逻辑规则从公理推演出来，称为定理，每一定理都是经由证明而予以肯定的。由初始概念、导出概念、公理以及定理构成的演绎体系，称为公理系统。
以句法为主的机器翻译系统(语言)：第二代机器翻译系统。产生于本世纪六十年代以后，是目前世界上广泛采用的机器翻译系统。其特点是：⑴以句法转换为中心，首先用代码化的结构标志来标记源语文句的结构，再把源语的结构标志转换..
真值联结词(语言)：指表示复合命题与支命题之间的真假关系的联结词。它是仅抽取命题之间真假关系、撇开其他联系而获得的命题逻辑联结词。数理逻辑中常用的五个基本真值联结词是：否定词(并非……)、合取词(……并且……)..
形式化方法(语言)：现代逻辑的基本方法。把一个理论形式化就是把理论中的概念转换为形式语言中的符号，命题转换为符号公式，定理的推演转换成符号公式的变形，并把一个证明转换成符号公式的有穷序列。由于形式语言的符号和它..
数理逻辑(语言)：①也叫“符号逻辑”、“现代形式逻辑”。一门以研究推理规律为核心内容并具有数学性质的工具性学科。一方面是由于在研究中广泛地使用了人工的符号语言，并发展为使用一种形式化的公理方法，同时也应用了某..
优选语义学(语言)：用于机器翻译的一种语义学理论。该理论运用五种语义单位来描写从单词、句子到段落的语义。*语义元素是最基本的语义单位。由语义元素构成义式，用于描写单词的语义。如“审问”一词的义式可写为：审问→..