1) implicative semilattices
蕴涵半格
1.
A note of implicative semilattices;
蕴涵半格的一个注记(英文)
2) Lattice Implication N-ordered Semigroup
格蕴涵N序半群
1.
sl Ideals in Lattice Implication N-ordered Semigroup;
格蕴涵N序半群中的sl理想
3) Implicative posemigroup
蕴涵半群
4) strict implication
严格蕴涵
1.
It is argued that strict implication proposed by Lewis is essentially the same as material implication in that it is a truth-unction based defintion of implication.
严格蕴涵和实质蕴涵本质上都是基于命题真假函项的蕴涵概念的定义方法,并不能从根本上解决实质蕴涵会导致蕴涵怪论的问题。
5) implication lattice
蕴涵格
1.
Normal MP-filters and prime filters of an implication lattice;
蕴涵格的正规MP滤子与素滤子
2.
The paper starts from the set of pairs <■(X),～■(X)>, by defining an implication operator, proves that this rough set formed by the pairs becomes an implication lattice.
本文从偶序对<■(X),~■(X)>构成的集合入手,通过定义蕴涵运算证明了偶序对<■(X),~■(X)>所成集合构成蕴涵格,讨论了粗蕴涵格与正则双Stone代数的关系。
3.
Based on the triple-I method,the expressions of triple-I algorithm and α-triple-I algorithm are given when the implication operator is used in an implication lattice.
基于模糊推理的全蕴涵三I算法,给出了当蕴涵算子→为蕴涵格中的蕴涵算子(称为IL型蕴涵)时的三I算法和α-三I算法的表达式,并进一步讨论了IL型三IMT算法。
6) Lattice-implication
格蕴涵
1.
The Representative Theorem of R_0-algebra by Lattice-implication Operator;
R_0-代数的格蕴涵表示定理
补充资料：半格
半格
semi-lattice
半格[，知i一h比ce:n0Jlype山e似] 一个可换幂等半群(s日的l一goup)，也就是满足等式x十y=y十x和x+x=x的半群.每一个半格p=(p，十)可以视为一个偏序集(part血lly orderedset)(偏序簇由关系a成b当且仅当a十b=b定义)，其中任一元素对存在一个最小上界s叩{a，b}=a+b.反之，每一元素对有最小上界的偏序集关于运算“+b二suP{“，b}构成一个半格·在这种情况下，称偏序集为上半格(叩per~一lattice)(或并半格(joins咧一议tice)，或V半格(V一~一城tice)).一个下半格(fowers。旧l一httice)也称交半格(me时sernl一械tice)，或八半格(八~sen”.坛币ce)，对偶地定义为任意两个元素有最大下界的偏序集. T C.小呻a榔a撰【补注】带(饮md)是每个元素为幂等的半群(亦见半群的带(加耐ofs蒯一grouP))(它是把半群分解为形成带的子半群).于是由一个上(下)半格可定义一个交换带(conunutativeb姐ld)，反之亦真.
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条