| R_0代数的可证等价类 |
| |
| 引用本文： | 张花荣.R_0代数的可证等价类[J].中国计量学院学报,2010,21(2). |
| |
| 作者姓名： | 张花荣 |
| |
| 作者单位： | 中国计量学院,理学院,浙江,杭州,310018 |
| |
| 摘 要： | 讨论了R0代数的滤子以及相应的可证等价类.在R0代数里给出了一些滤子的具体例子,得到:F是R0代数M的超滤当且仅当F是M的固执滤子;当F是R0代数的蕴涵滤子时,M/F是布尔代数;当F是R0代数的极大布尔滤子时,M/F是只有两个元的布尔代数.
|
| 关 键 词： | R0代数 滤子 可证等价类 |
Provable equivalence classes of R0 algebras |
| |
| ZHANG Hua-rong.Provable equivalence classes of R0 algebras[J].Journal of China Jiliang University,2010,21(2). |
| |
| Authors: | ZHANG Hua-rong |
| |
| Affiliation: | ZHANG Hua-rong(College of Sciences; China Jiliang University; Hangzhou 310018; China); |
| |
| Abstract: | Filters and provable equivalence classes were discussed in R0 algebras M.With some special examples of filters,it proves that F is an ultra-filter of R0 algebras M if and only if F is an obstinate filter;if F is an implicative filter of M,then M/F is a Boolean algebra;if F is a maximal Boolean filter of M,then M/F is a Boolean algebra with two elements. |
| |
| Keywords: | R0 algebras filters provable equivalence classes |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
