| Heyting代数与剩余格 |
| |
| 引用本文： | 苏忍锁,张馨文. Heyting代数与剩余格[J]. 陕西理工学院学报(自然科学版), 2009, 25(4): 63-69 |
| |
| 作者姓名： | 苏忍锁 张馨文 |
| |
| 作者单位： | 宝鸡文理学院,数学系,陕西,宝鸡,721007 |
| |
| 基金项目： | 宝鸡文理学院重点科研资助项目 |
| |
| 摘 要： | 证明了Heyting代数是特殊的剩余格,由此得到了Heyting代数的若干性质,给出了Heyting代数成为Boole代数、格蕴涵代数、MV-代数和弱R0-代数的充分必要条件。
|
| 关 键 词： | Heyting代数 剩余格 正则剩余格 Boole代数 MV-代数 |
Heyting algebra and residuated lattice |
| |
| SU Ren-suo,ZHANG Xin-wen. Heyting algebra and residuated lattice[J]. Journal of Shananxi University of Technology(Natural Science Edition), 2009, 25(4): 63-69 |
| |
| Authors: | SU Ren-suo ZHANG Xin-wen |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
