模态R0代数与模态滤子的若干性质

• 作者: 王国俊 马海斌
• 来源期刊: 陕西师范大学学报(自然科学版)
• 学科: 数学
• 关键词: 模态逻辑 R0代数 模态R0代数 模态算子 模态滤子
• 年，卷（期）: 2009,（4）
• 所属期刊栏目: 数学与计算机科学
• 页码范围: 1-5
• 页数: 5页
• 分类号: O141.1
• 字数: 5681字
• 语种: 中文

摘要

进一步研究了模态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}.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王国俊	陕西师范大学数学与信息科学学院	176	2910	25.0	49.0
2	马海斌	陕西师范大学数学与信息科学学院	1	1	1.0	1.0