1) Linguistic truth-valued LIA
语言真值蕴涵代数
2) implication algebra
蕴涵代数
1.
Properties of Associated Implication Algebra on a Partial Ordered Set;
偏序集上关联蕴涵代数的性质
2.
In this paper, a kind of lattice implication algebra is introduced by combining lattice with implication algebra, and some of its basic properties are discussed, providing a necessary basis for studying lattice-valued logical systems in semantics.
本文将格与蕴涵代数结合在一起,建立了格蕴涵代数,并讨论了它的一些基本性质,为从语义的角度研究格值逻辑系统奠定了必要的基础。
3.
A kind of algebraic abstract of fuzzy logic,Implication Algebra on a partial ordered set,is given.
本文的目的是使用代数工具对模糊逻辑进行研究，给出模糊逻辑的一类代数抽象，即偏序集上的蕴涵代数，研究偏序集上蕴涵代数与其它代数结构，如MV-代数，Heyting代数之间的关系，以及偏序集上蕴涵代数的滤子与其结构等。
3) lattice implication algebra
格蕴涵代数
1.
On Method of a Class of Finite Lattice Implication Algebraic Equations;
关于一类有限格蕴涵代数方程的解法
2.
Prime Dual Ideals of Lattice Implication Algebra;
格蕴涵代数的素对偶理想
3.
Some Remarks on Structure of Lattice Implication Algebras;
关于格蕴涵代数的结构的一些讨论
4) lattice implication algebras
格蕴涵代数
1.
In this paper, the concept of ultrafilter of lattice implication algebras is proposed.
文中提出了格蕴涵代数中超滤的概念，研究了它与素滤子及有限交性的关系，并证明了它与极大真滤子的等价性，为进一步研究相应的超积理论打下了基础。
2.
Furthermore,the relations between commutative weak R_0-algebras and lattice implication algebras are found out.
探究了可交换弱R0代数与格蕴涵代数之间的关系,以及与MV代数之间的关系。
5) weak implication algebra
弱蕴涵代数
1.
It was proved that weak implication algebra satisfying the condition(x→y)→y =(y→x)→x forms MV-algebra and weak R_0-algebra.
引入偏序集上的弱蕴涵代数的概念,证明它在满足条件(x→y)→y=(y→x)→x时构成M V代数,也构成弱R0代数。
6) partial implication-algebra
偏蕴涵代数
1.
Through the study of effect algebra and difference posets,the author introduces the partial implication-algebra form the point of implication.
通过对效应代数和差分偏序集的研究,从蕴涵的角度出发引入偏蕴涵代数,证明了偏蕴涵代数与效应代数是两种不同形式的等价代数结构,并讨论了它与其他代数之间的关系。
补充资料：代数语言学
数理语言学的一个分支。应用集合论、数理逻辑、算法理论、图论、格论、模糊数学等离散的、代数的方法研究语言现象的学科。
代数语言学的研究领域，目前主要包括以下几个方面：
①建立语言的数学模型，如美国逻辑学家、语言学家N.乔姆斯基、苏联数学家О .С.库拉金娜 、语言学家Y.巴尔-希列尔分别提出了语言的生成性模型 、分析性模型和辨识性模型。
②研究形式语言及其与自动机的关系。乔姆斯基等人发现，一定类型的形式文法是与一定类型的自动机相对应的，文法是语言的生成程序，而相应的自动机则是该语言的识别程序。
③建立自然语言自动处理各种方法的理论。在人机对话研究中提出了扩充转移网络、语义网络等方法，在机器翻译研究中提出了从属分析法、预示分析法、树形分析法等方法，代数语言学要对这些方法进行理论上的研究。
④研究语音、语法、词汇、语义中的模糊现象。
⑤研究语言的句法结构与语义解释之间的关系，如孟德鸠语法等。
随着科学的发展，代数语言学正在不断地开拓新的研究领域。
代数语言学的研究，对于计算机程序语言也有一定的指导意义，因而这门学科也引起了计算机科学家们广泛的注意。
代数语言学的研究领域，目前主要包括以下几个方面：
①建立语言的数学模型，如美国逻辑学家、语言学家N.乔姆斯基、苏联数学家О .С.库拉金娜 、语言学家Y.巴尔-希列尔分别提出了语言的生成性模型 、分析性模型和辨识性模型。
②研究形式语言及其与自动机的关系。乔姆斯基等人发现，一定类型的形式文法是与一定类型的自动机相对应的，文法是语言的生成程序，而相应的自动机则是该语言的识别程序。
③建立自然语言自动处理各种方法的理论。在人机对话研究中提出了扩充转移网络、语义网络等方法，在机器翻译研究中提出了从属分析法、预示分析法、树形分析法等方法，代数语言学要对这些方法进行理论上的研究。
④研究语音、语法、词汇、语义中的模糊现象。
⑤研究语言的句法结构与语义解释之间的关系，如孟德鸠语法等。
随着科学的发展，代数语言学正在不断地开拓新的研究领域。
代数语言学的研究，对于计算机程序语言也有一定的指导意义，因而这门学科也引起了计算机科学家们广泛的注意。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条