河南师范大学学报（自然科学版）
河南師範大學學報（自然科學版）
하남사범대학학보（자연과학판）
JOURNAL OF HENAN NORMAL UNIVERSITY(NATURAL SCIENCE)
2010年
1期
28-31
,共4页
余剩余格%反向三I算法%余伴随对%还原算法
餘剩餘格%反嚮三I算法%餘伴隨對%還原算法
여잉여격%반향삼I산법%여반수대%환원산법
co-residuated lattice%the opposite directed triple I method%co-adjoint pair%reducing method
提出了一般余剩余格中的反向三I算法规则, 给出了基于完备余剩余格的反向三I α-MIFMP算法和反向三I α-MIFMT算法,证明了CRL-型反向三I MIFMP算法和CRL-型反向三I MIFMT算法是P-还原算法,并基于(L)ukasiewicz余伴随对和R_0余伴随对中的(-)算子给出了FMP问题和FMT问题关于反向三I MIFMP规则和反向三I MIFMT规则的解法.
提齣瞭一般餘剩餘格中的反嚮三I算法規則, 給齣瞭基于完備餘剩餘格的反嚮三I α-MIFMP算法和反嚮三I α-MIFMT算法,證明瞭CRL-型反嚮三I MIFMP算法和CRL-型反嚮三I MIFMT算法是P-還原算法,併基于(L)ukasiewicz餘伴隨對和R_0餘伴隨對中的(-)算子給齣瞭FMP問題和FMT問題關于反嚮三I MIFMP規則和反嚮三I MIFMT規則的解法.
제출료일반여잉여격중적반향삼I산법규칙, 급출료기우완비여잉여격적반향삼I α-MIFMP산법화반향삼I α-MIFMT산법,증명료CRL-형반향삼I MIFMP산법화CRL-형반향삼I MIFMT산법시P-환원산법,병기우(L)ukasiewicz여반수대화R_0여반수대중적(-)산자급출료FMP문제화FMT문제관우반향삼I MIFMP규칙화반향삼I MIFMT규칙적해법.
