|
|||||
|
|
| L^＊-Lindenbaum代数的结构与L^＊公理系统的简化形式 | |
| 引用本文： | 何颖俞,王国俊.L^＊-Lindenbaum代数的结构与L^＊公理系统的简化形式[J].工程数学学报,1998,15(1):1-8. |
| 作者姓名： | 何颖俞 王国俊 |
| 作者单位： | 陕西师范大学数学研究所 |
| 摘 要： | 证明了L^*-Lindenbaum代数F]是具有逆序对台对应的有界分配格．得出了L^*中的公理系统的一种简化形式． |
| 关 键 词： | 系统L^＊ L^＊-Lindenbaum代数 独立性 逆合对应 有界分配格 典型商代数 |
| 本文献已被 CNKI 维普 等数据库收录！ | |