|
|||||
|
|
| 基于完备余剩余格的反向三I算法 | |
| 引用本文： | 李岩,王顺钦,崔艳丽.基于完备余剩余格的反向三I算法[J].河南师范大学学报(自然科学版),2010,38(1). |
| 作者姓名： | 李岩 王顺钦 崔艳丽 |
| 作者单位： | 1. 解放军信息工程大学,理学院,郑州,450001 2. 南阳师范学院,数学与统计学院,河南,南阳,473061 3. 解放军防空兵指挥学院,郑州,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 万方数据 等数据库收录！ | |