| 基于完备余剩余格的反向三I算法 |
| |
| 引用本文： | 李岩,王顺钦,崔艳丽. 基于完备余剩余格的反向三I算法[J]. 河南师范大学学报(自然科学版), 2010, 38(1) |
| |
| 作者姓名： | 李岩 王顺钦 崔艳丽 |
| |
| 作者单位： | 解放军信息工程大学,理学院,郑州,450001;南阳师范学院,数学与统计学院,河南,南阳,473061;解放军防空兵指挥学院,郑州,450052 |
| |
| 摘 要： | 提出了一般余剩余格中的反向三I算法规则,给出了基于完备余剩余格的反向三Iα-MIFMP算法和反向三Iα-MIFMT算法,证明了CRL-型反向三IMIFMP算法和CRL-型反向三IMIFMT算法是P-还原算法,并基于Lukasiewicz余伴随对和R0余伴随对中的Θ算子给出了FMP问题和FMT问题关于反向三IMIFMP规则和反向三IMIFMT规则的解法.
|
| 关 键 词： | 余剩余格 反向三I算法 余伴随对 还原算法 |
The Opposite Directed Triple I Method Under Complete Co-residuated Lattice |
| |
| Abstract: | CRL-opposite directed triple I formula under coresiduated lattice is introduced,and the answer is given out to the question of CRL-opposite directed triple I α-MIFMP method and CRL-opposite directed triple I α-MIFMT method under complete co-residuated lattice,the research we also proves that CRL-opposite directed triple I MIFMP method and CRL-opposite directed triple I MIFMT method are P-reducing methods; in the last,under the Θ operator of ukasiewicz co-adjoint pair and R0 co-adjoint pair,the answer is given out to the question of opposite directed triple I method with respect to FMP formula and FMT formula. |
| |
| Keywords: | co-residuated lattice the opposite directed triple I method co-adjoint pair reducing method |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
