扬州大学学报(自然科学版)
颺州大學學報(自然科學版)
양주대학학보(자연과학판)
JOURNAL OF YANGZHOU UNIVERSITY(NATURAL SCIENCE EDITION)
2012年
1期
1-4,37
,共5页
可换BR0代数%有界可换BCK代数%正则HFI代数
可換BR0代數%有界可換BCK代數%正則HFI代數
가환BR0대수%유계가환BCK대수%정칙HFI대수
为了得到基础R0代数(简称BR0代数)的更多表示和性质,利用蕴涵算子给出了可换BR0代数的两种形式更为简单的刻画;证明了可换BR0代数与有界可换BCK代数之间的等价性;证明了满足Heyting性质(HP条件)的可换BR0代数与正则Heyting型FI代数(即HFI代数)等价.
為瞭得到基礎R0代數(簡稱BR0代數)的更多錶示和性質,利用蘊涵算子給齣瞭可換BR0代數的兩種形式更為簡單的刻畫;證明瞭可換BR0代數與有界可換BCK代數之間的等價性;證明瞭滿足Heyting性質(HP條件)的可換BR0代數與正則Heyting型FI代數(即HFI代數)等價.
위료득도기출R0대수(간칭BR0대수)적경다표시화성질,이용온함산자급출료가환BR0대수적량충형식경위간단적각화;증명료가환BR0대수여유계가환BCK대수지간적등개성;증명료만족Heyting성질(HP조건)적가환BR0대수여정칙Heyting형FI대수(즉HFI대수)등개.