| 格蕴涵代数与Heyting-代数之间的关系 |
| |
| 引用本文： | 白利军,齐磊磊.格蕴涵代数与Heyting-代数之间的关系[J].兰州石化职业技术学院学报,2011,11(3):71-73. |
| |
| 作者姓名： | 白利军 齐磊磊 |
| |
| 作者单位： | 四川理工学院理学院,四川自贡,643000 |
| |
| 基金项目： | 四川理工学院人才引进项目 |
| |
| 摘 要： | 证明了正则的Heyting-代数如果满足x→y=x＇∨y,则可构成格蕴涵代数并且是格H蕴涵代数,条件是充分必要的。
|
| 关 键 词： | 拟格蕴涵代数 格蕴涵代数 Heyting-代数 正则Heyting-代数 |
Lattice Implication Algebras and Heyting-algebras |
| |
| Bai Li-jun,QI Lei-lei.Lattice Implication Algebras and Heyting-algebras[J].Journal of Lanzhou Petrochemical Vocational College of Technology,2011,11(3):71-73. |
| |
| Authors: | Bai Li-jun QI Lei-lei |
| |
| Institution: | Bai Li-jun,QI Lei-lei(School of science,Sichuan University of Science & Engineering,Zigong 643000,China) |
| |
| Abstract: | The paper proves that a regular Heyting-algebra could be a lattice implication algebra and also be a lattice H implication algebra if it satisfied x→y=x′∨y,and the condition is sufficient and necessary. |
| |
| Keywords: | quasi-lattice implication algebras lattice implication algebras Heyting-algebras regular Heyting-algebras |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
