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

摘要：

进一步研究了模态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代数、模态算子、模态滤子

所属期刊栏目：37

分类号：O141.1(数理逻辑、数学基础)

资助基金：国家自然科学基金资助项目10771129

在线出版日期：2011-11-09（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：1-5