陕西理工学院学报（自然科学版）
陝西理工學院學報（自然科學版）
협서리공학원학보（자연과학판）
JOURNAL OF SHAANXI UNIVERSITY OF TECHNOLOGY （NATURAL SCIENCE EDITION）
2009年
4期
63-69
,共7页
Heyting代数%剩余格%正则剩余格%Boole代数%MV-代数
Heyting代數%剩餘格%正則剩餘格%Boole代數%MV-代數
Heyting대수%잉여격%정칙잉여격%Boole대수%MV-대수
证明了Heyting代数是特殊的剩余格,由此得到了Heyting代数的若干性质,给出了Heyting代数成为Boole代数、格蕴涵代数、MV-代数和弱R0-代数的充分必要条件.
證明瞭Heyting代數是特殊的剩餘格,由此得到瞭Heyting代數的若榦性質,給齣瞭Heyting代數成為Boole代數、格蘊涵代數、MV-代數和弱R0-代數的充分必要條件.
증명료Heyting대수시특수적잉여격,유차득도료Heyting대수적약간성질,급출료Heyting대수성위Boole대수、격온함대수、MV-대수화약R0-대수적충분필요조건.
