基于完备余剩余格的反向三I算法

作者：李岩; 王顺钦; 崔艳丽

来源：河南师范大学学报(自然科学版), 2010, (01): 28-31.

DOI：10.16366/j.cnki.1000-2367.2010.01.007

• 余剩余格
• 反向三I算法
• 余伴随对
• 还原算法 co-residuated lattice
• the opposite directed triple I method
• co-adjoint pair
• reducing method

提出了一般余剩余格中的反向三I算法规则,给出了基于完备余剩余格的反向三Iα-MIFMP算法和反向三Iα-MIFMT算法,证明了CRL-型反向三IMIFMP算法和CRL-型反向三IMIFMT算法是P-还原算法,并基于Lukasiewicz余伴随对和R0余伴随对中的Θ算子给出了FMP问题和FMT问题关于反向三IMIFMP规则和反向三IMIFMT规则的解法.

• 单位
  中国人民解放军信息工程大学; 南阳师范学院; 中国人民解放军陆军炮兵防空兵学院