1) the positive implicative MP filter
正蕴涵MP滤子
1.
Prove that the positive implicative MP filter is equivalent to the Boolean MP filter.
提出正蕴涵MP滤子和固执MP滤子的概念,讨论了它们的一些性质定理。
2) positive implicative filters
正蕴涵滤子
1.
Implicative filters and positive implicative filters of MTL algebras;
MTL代数的蕴涵滤子与正蕴涵滤子
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) normal MP-filter
正规MP-滤子
1.
This paper introduces the notions of normal MP-filters and Boolean MP-filters in basic R0-algebras(BR0-algebras for short).
BR0-代数是MV-代数和R0-代数的共同基础,论文引入了BR0-代数的正规MP-滤子和布尔MP-滤子,讨论了他们之间的关系,给出它们的特征性质,并且给出了刻画正规BR0-代数的特征定理。
2.
The concepts of MP-filters,generated filters,normal MP-filters and prime filters in implication lattice were introduced.
在蕴涵格上定义了MP-滤子、生成滤子、正规MP-滤子与素滤子的概念,研究了它们的特征性质,讨论了正规MP-滤子和MP-滤子之间的关系,得到正规MP-滤子是MP-滤子的结论,证明了蕴涵格的素滤子定理。
5) normal MP-filter
正规MP滤子
1.
The structure of BR_0 algebras is studied by introducing the notions of normal MP-filters and Boolean MP-filters in basic R_0 algebras(BR_0 algebras for short),the relationship between normal MP-filters and Boolean MP-filters are studied.
引入了BR0-代数的正规MP滤子和布尔MP滤子,讨论了他们之间的关系:布尔MP滤子是正规MP滤子,但反之不成立。
2.
In this paper,to discuss further properties of MP-filters and normal MP-filters of FI-algebras,a necessary and sufficient condition for nonempty set to be MP-filters in FI-algebras is given,and counterexamples reveal that MP-filters are not necessarily normal MP-filters.
为探讨FI代数中MP滤子与正规MP滤子的性质,给出了FI代数中非空子集成为MP滤子的充要条件。
6) 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 算子都是正则蕴涵算子。
补充资料：多层滤料滤池
分子式：
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。在对生物处理后的出水进行过滤时，需采取某种形式的辅助冲洗措施。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条