1) positive implicative filters
正蕴涵滤子
1.
Implicative filters and positive implicative filters of MTL algebras;
MTL代数的蕴涵滤子与正蕴涵滤子
2) the positive implicative MP filter
正蕴涵MP滤子
1.
Prove that the positive implicative MP filter is equivalent to the Boolean MP filter.
提出正蕴涵MP滤子和固执MP滤子的概念,讨论了它们的一些性质定理。
3) implication filter
蕴涵滤子
1.
Implication Filters and Congruence Relations in R 0 Algebras;
R_0代数中的蕴涵滤子与同余关系
2.
In this paper, we introduce the concept of implication filters in implication lattices, and discuss their basic properties.
在蕴涵格中引入了蕴涵滤子的概念 ,讨论了蕴涵滤子的一些基本性质 ,并由此建立了由素蕴涵滤子决定的同余关系及其商蕴涵格 ,以便为 Fuzzy推理建立严格的逻辑基础作些必要的准备 。
4) regular implication operator
正则蕴涵算子
1.
The properties of Triple I method based on the regular implication operator;
基于正则蕴涵算子的三I算法的性质
2.
The notions of conditional α-tautologies of formulas in the propositional logic systems based on regular implication operators are proposed.
在基于正则蕴涵算子的命题逻辑系统中给出了公式的条件α-重言式的概念,讨论了它们的性质,并分别在Lukasiew icz逻辑系统、Go¨del逻辑系统、乘积逻辑系统、L*逻辑系统及相应的n值逻辑系统中研究了条件α-重言式的分布。
3.
The concept of regular implication operators is introduced and it is proved that the Lukasiewicz operator, Gdel operator, product operator and R_0-operator are regular implication operations.
给出了正则蕴涵算子的概念,证明了Lukasiewicz算子、G del算子、乘积算子和R0 算子都是正则蕴涵算子。
5) Normal Implication Operator
正常蕴涵算子
6) normal FIOs
正常蕴涵
补充资料：多层滤料滤池
分子式：
CAS号：
性质：一种下流式重力深床滤池。一般采用3种滤料，上层为无烟煤(粒径1～2mm)，中层为砂(粒径0.4～0.8mm)，底层为石榴石(粒径<0.5mm)。过滤速度为10m/h，反冲强度为48～72m/h。在对生物处理后的出水进行过滤时，需采取某种形式的辅助冲洗措施。
CAS号：
性质：一种下流式重力深床滤池。一般采用3种滤料，上层为无烟煤(粒径1～2mm)，中层为砂(粒径0.4～0.8mm)，底层为石榴石(粒径<0.5mm)。过滤速度为10m/h，反冲强度为48～72m/h。在对生物处理后的出水进行过滤时，需采取某种形式的辅助冲洗措施。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条