华中师范大学学报(自然科学版)
華中師範大學學報(自然科學版)
화중사범대학학보(자연과학판)
JOURNAL OF CENTRAL CHINA NORMAL UNIVERSITY
2010年
2期
204-206
,共3页
余剩余格%格蕴涵代数%BCK-代数%具有条件(S)的BCK-格
餘剩餘格%格蘊涵代數%BCK-代數%具有條件(S)的BCK-格
여잉여격%격온함대수%BCK-대수%구유조건(S)적BCK-격
进一步研究了余剩余格的一些性质,并证明了余剩余格等价于具有条件(S)的BCK-格,最后基于余剩余格的形式给出了格蕴涵代数的一种等价刻画.所得结果将有助于深入了解余剩余格的代数结构,也为相关多值逻辑系统的研究提供又一途径.
進一步研究瞭餘剩餘格的一些性質,併證明瞭餘剩餘格等價于具有條件(S)的BCK-格,最後基于餘剩餘格的形式給齣瞭格蘊涵代數的一種等價刻畫.所得結果將有助于深入瞭解餘剩餘格的代數結構,也為相關多值邏輯繫統的研究提供又一途徑.
진일보연구료여잉여격적일사성질,병증명료여잉여격등개우구유조건(S)적BCK-격,최후기우여잉여격적형식급출료격온함대수적일충등개각화.소득결과장유조우심입료해여잉여격적대수결구,야위상관다치라집계통적연구제공우일도경.