1) Fuzzy implication space
Fuzzy蕴涵空间
2) Fuzzy implication algebra
Fuzzy蕴涵代数
1.
Regular Fuzzy Implication Algebra;
正则Fuzzy蕴涵代数
2.
MP-ideals and Normal MP-ideals in Fuzzy Implication Algebras
Fuzzy蕴涵代数的MP理想与正规MP理想
3.
MP-filters of Fuzzy Implication Algebras
Fuzzy蕴涵代数的MP滤子
3) Heyting-FI algebra
Heyting型Fuzzy蕴涵代数
1.
In this paper,some basic properties of Heyting Algebra are discussed and it is proved that a Heyting algebra must be a fuzzy implication algebra,and be a Heyting-FI algebra also.
本文给出Heyting代数的若干基本性质 ,并证明了Heyting代数是Fuzzy蕴涵代数 ,也是Heyting型Fuzzy蕴涵代数。
4) (Fuzzy)strongly implicative a-ideal
(fuzzy)强蕴涵a-理想
5) Regular Fuzzy Implication Algebra
正则Fuzzy蕴涵代数
1.
Regular Fuzzy Implication Algebra;
正则Fuzzy蕴涵代数
2.
In this paper,the concept of ideal on regular Fuzzy implication algebras is introduced and some characterizations of ideals are given.
引入正则Fuzzy蕴涵代数的理想概念,并给出它的若干等价刻画;获得了由非空子集生成的理想的表示定理;证明了一个正则Fuzzy蕴涵代数上全体理想之集在集合包含序下构成一个分配连续格,从而构成一个Frame。
6) normed fuzzy implication algebra
赋范Fuzzy蕴涵代数
1.
The notions of normed fuzzy implication algebras and implication distance are introduced and several properties of them are given.
运用泛函分析的方法和技巧考虑非经典数理逻辑问题,首先引入赋范Fuzzy蕴涵代数及蕴涵距离的概念,并给出它们的若干性质;其次对赋范Fuzzy蕴涵代数中的序列和蕴涵开(闭)球进行研究。
补充资料：严格蕴涵演算
严格蕴涵演算
strict implication calculus
严格蕴涵演算[striet inl两ca坟”ca」。dlls;c二poro云“Mn月“R叫M“Mc，Hc月elf”el 基于严格蕴涵(strict imPlicat幻n)的一种逻辑演算(fogical calculus)，即与“如果··…那么……”相联系的逻辑运算上的一种演算.对于严格蕴涵来说，所谓的“(实质)蕴涵悖论”可完全地或部分地避免:一个假命题蕴涵任一命题，而任一命题蕴涵一个真命题. 严格蕴涵演算的目的是为了反映条件命题的前提与结论之问意义上的联系.存在一个完整的严格蕴涵演算系列(Lewis演算，Ackern‘，rm演算，及其他演算)，它们彼此之间的区分是由一些公式在某些演算中可以推出，而在另一些演算中不能推出的事实来确定(例如，在Lewis演算中“蕴涵悖论”仅仅部分地可避免，然而在Ackermann演算中却可完全避免).严格蕴涵演算同模态语句(“它是可能的”，“它是不可能的”，“它是必要的”等等)的形式体系化有密切联系;在某些演算中，严格蕴涵通过模态(1议汕涵ty)来表示，而在另一些演算中，模态是通过严格蕴涵来表示.【补注】其他试图避免“蕴涵悖论”的方法(例如牛言三段论(disjunctive syllogism)A八(门A VB)睁月)，有以相关逻辑(relevant 10百e)的名称出现的(IAll).11}中的Lewis演算的51一55也被视为Lc、s调查系统(Lewis sury即systelll)(【A3」).
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条