元逻辑的

Since a method is alogical process for constructing systems, it is known as ametaprocess (a process for modeling processes).

因为方法是构建系统的一个逻辑过程，所以它也被称作元过程

In order to further the research on intellectualizing of arborescences, lattice theory is applied on arborescences by defining zero element. At the same time, it is proved that an arborescence coith zero element is a lattice under a partially ordering relation.

为了促进树形图结构的智能化研究，通过引入零元的概念将树形图结构转化为格结构，证明了加入零元的树形图可在给定序关系下构成格，进而将格的有关理论引入树形图的逻辑运算中。

The dissertation studies the basic logic frame of argumentum and the meta theoretical paradigm of the modern western liberalism.

本文研究了现代西方自由主义理论的基本逻辑论证结构和元理论范式。

The theory of function and variable is the basic content of Frege 's logical analysis method.

函数与自变元理论是弗雷格逻辑分析方法的出发点和基本内容，这种方法揭示了隐藏在句子的表面语法结构下的深层的逻辑结构，它直接为弗雷格关于自然语言的语义理论提供前提和基础。

Based on the outcome of Xu Yang and Qin Keyun about lattice implication algebra and lattice-valued prepositional logic LP with truth-value in a lattice implication algebra, the author studied the properties of lattice implication algebra and the α-automated reasoning method based on α-resolution principle of LP. The specific contents are as follows: The Study of Lattice Implication Algebra On the basis of previous results of lattice implication algebra, this part consists of the following three points: 1. Some properties of lattice implication algebra L were discussed, and some important results were given if L was a complete lattice implication algebra. 2. The properties of left idempotent elements of lattice implication algebras were discussed, and the conclusion that lattice implication algebra L was equals of the directed sum of the range and dual kernel of a left map constructed by a left idempotent element was proved. 3. The properties of the filters of lattice implication algebra were discussed, the theorem was shown that they satisfy the hypothetical syllogism and substitute theorem of the propositional logic. 4. The concept of weak niters of lattice implication algebras and their properties and structures are discussed. It is proved that all weak filters of a lattice implication algebra form a topology and the the implication isomorphism betweem two lattice implication algebras is a topological mapping between their topological spaces. The Study of α-automated reasoning method based on the lattice-valued propositional logic LP In this part, the author given an a-automated reasoning method based on the lattice-valued propositional logic LP.

本文基于徐扬和秦克云的关于格蕴涵代数和以格蕴涵代数为真值域的格值命题逻辑系统LP的研究工作，对格蕴涵代数以及格值命题逻辑系统LP中基于α-归结原理的自动推理方法进行了系统深入的研究，主要有以下两方面的研究成果：一、关于格蕴涵代数的研究 1、对格蕴涵代数的格论性质进行了研究，得到了当L为完备格蕴涵代数时，关于∨，∧，→运算的一些结果； 2、对格蕴涵代数的左幂等元进行了研究，证明了格蕴涵代数L可以分解为任何一个左幂等元所对应的左映射的像集合与其对偶核的直和； 3、对格蕴涵代数的滤子的性质进行了研究，证明了滤子的结构相似于逻辑学中的Hypothetical syllogism规则和替换定理； 4、给出了格蕴涵代数中弱滤子的概念，对弱滤子的性质个结构进行了研究，证明了格蕴涵代数的全体弱滤子构成一个拓扑结构，格蕴涵代数之间的蕴涵同构是相应的拓扑空间之间的拓扑映射。

They showed that given a carefully chosen chaotic logic element, different logical operations can be performed simply by varying the threshold value.

他们指出，给予一个仔细选择的混沌逻辑元，不同的逻辑操作（如"AND"，"OR"等等）通过改变域值可以简单地完成运算。

Material implication and other truth forms all pursue isolated absolute true or false abstract at the cost of deserting the relativity among the variables.Its essence is taking out original targets of human logic and replacing it with artificial targets.

实质蕴涵乃至其他真值形式都以舍弃变元间相关性为代价，追求变元孤立意义上的绝对真假抽象，其实质是抽掉了人类逻辑本源的对象，代之以人工设计或规定出来的人造对象。

The fifth chapter logically provides two kinds of definitions of metapragmatics and illustrates two meanings of metalinguistics in the sense of linguistics.

第五章，阐明语言学意义上的元语言学有两种含义，逻辑地给出元语用学的两种定义；重点探讨西方语用学代表人物J.L。

Finally, the given symbolic logic formula can prove the rationality of component model and validity of framework extension.

在分析了框架元模型组成元素的基础上，应用面向领域的特征模型的方法，对构件模型组织结构进行统一的抽象和描述，并用命题逻辑公式来表示构件之间的逻辑关系和语义约束；用UniCon语言给出了扩展点及其依赖关系的表示方式；最后通过给定的命题逻辑规则公式来验证构件模型的合理性、框架扩展的正确性。

The second step is to trace back to the origin of the theory in philosophy and to illustrate the contents and the principled meanings. Focused on glossematics, structural semantics, metapragmatics and the theory of metalinguistic function, the third step is to demonstrate the theory of linguistic metalanguage which inherits and develops the one of philosophy.

由于元语言理论产生于逻辑哲学，语言学界对它的研究在整体上显得比较薄弱，尚未对之作出系统而深入的阐述，并由于不同的语言学传统及为文献所限制，许多重要的现代西方语言学家关于语言学的元语言研究也未能得到阐释与继承。

We have no common name for a mime of Sophron or Xenarchus and a Socratic Conversation; and we should still be without one even if the imitation in the two instances were in trimeters or elegiacs or some other kind of verse--though it is the way with people to tack on 'poet' to the name of a metre, and talk of elegiac-poets and epic-poets, thinking that they call them poets not by reason of the imitative nature of their work, but indiscriminately by reason of the metre they write in.

索夫农 、森那库斯和苏格拉底式的对话采用的模仿没有一个公共的名称；三音步诗、挽歌体或其他类型的诗的模仿也没有——人们把&诗人&这一名词和格律名称结合到一起，称之为挽歌体诗人或者史诗诗人，他们被称为诗人，似乎只是因为遵守格律写作，而非他们作品的模仿本质。

The relationship between communicative competence and grammar teaching should be that of the ends and the means.

交际能力和语法的关系应该是目标与途径的关系。