| 模态R0代数与模态滤子的若干性质 |
| |
| 引用本文： | 马海斌,王国俊. 模态R0代数与模态滤子的若干性质[J]. 陕西师范大学学报(自然科学版), 2009, 37(4) |
| |
| 作者姓名： | 马海斌 王国俊 |
| |
| 作者单位： | 陕西师范大学,数学与信息科学学院,陕西,西安,710062 |
| |
| 摘 要： | 进一步研究了模态R0代数的一些重要性质,证明了:当函数y=□x在R0单位区间[0,1]内部有n个间断点时,在R0单位区间上能使([0,1]R0,□)成为模态R0代数的模态算子□共有2n种;F是模态R0代数中的模态滤子当且仅当F≠Φ,F是上集(即当a∈F,b≥a时,b∈F),且当a、b∈F时,□(a*b)∈F.并证明了任意一族模态滤子之交仍为模态滤子,所有素模态滤子之交为单点集{1}.
|
| 关 键 词： | 模态逻辑 R0代数 模态R0代数 模态算子 模态滤子 |
Some properties of modal R0-algebras and modal filters |
| |
| MA Hai-bin,WANG Guo-jun. Some properties of modal R0-algebras and modal filters[J]. Journal of Shaanxi Normal University: Nat Sci Ed, 2009, 37(4) |
| |
| Authors: | MA Hai-bin WANG Guo-jun |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
