| 格蕴涵代数 |
| |
| 引用本文： | 徐扬.格蕴涵代数[J].西南交通大学学报,1993(1):20-27. |
| |
| 作者姓名： | 徐扬 |
| |
| 作者单位： | 西安交通大学应用数学系 |
| |
| 摘 要： | 本文将格与蕴涵代数结合在一起，建立了格蕴涵代数，并讨论了它的一些基本性质，为从语义的角度研究格值逻辑系统奠定了必要的基础。
|
| 关 键 词： | 格 蕴涵代数 格值逻辑系统 |
Lattice Implication Algebras |
| |
| Xu Yang Dept.of Appl.Mathematics.Lattice Implication Algebras[J].Journal of Southwest Jiaotong University,1993(1):20-27. |
| |
| Authors: | Xu Yang Deptof ApplMathematics |
| |
| Institution: | Xu Yang Dept.of Appl.Mathematics |
| |
| Abstract: | In this paper, a kind of lattice implication algebra is introduced by combining lattice with implication algebra, and some of its basic properties are discussed, providing a necessary basis for studying lattice-valued logical systems in semantics. |
| |
| Keywords: | lattice implication algebra logic |
| 本文献已被 CNKI 维普 等数据库收录！ |
