基于完备余剩余格的反向三I算法 (2010年)

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