完备剩余格上的蕴涵闭包算子

利用蕴涵运算,在完备剩余格上定义了蕴涵闭包算子,给出了它的若干等价刻画及其表示定理。     

模态逻辑S4的覆盖语义及其完备性

 基于第六种覆盖粗糙集模型提出了模态逻辑S4的覆盖语义,利用覆盖模型与Kripke模型之间的关系,证明了覆盖语义的可靠性和完备性定理.进一步讨论了覆盖语义与Alexandrov拓扑语义之间的关系.证明了覆盖语义与Alexandrov拓扑语义是和谐一致的.     

高校文科经济管理类专业"微积分"教学探讨

本文针对高校文科经济管理类专业开设的"微积分"课程,根据所教对象和本课程的特点,从九个方面探讨了"微积分"在具体实践中的教学方法和手段:学习目的和要求、知识背景、形象思维的应用、数学思想方法的渗透、数学美的渗透、微积分的实际应用、数学家的故事、复习和总结、课前课后工作.     

R0代数中的模糊正规滤子

在R₀代数中引入模糊正规滤子的概念,给出其充要条件,得到了模糊正规滤子的扩张性质,讨论了模糊正规滤子与模糊滤子、截集之间的关系,最后,用模糊正规滤子刻画了正规R₀代数M和正规商R₀代数M/f。     

完备剩余格上的蕴涵闭包系统

在完备剩余格上引入了蕴涵闭包系统的概念,讨论了蕴涵闭包系统与闭包系统之间的关系。给出了蕴涵闭包系统的一些性质及其表示定理。进一步研究了蕴涵闭包算子和蕴涵闭包系统的关系。     

模糊粗糙集拓扑性质的进一步研究

首先指出文献《基于Lukasiewicz三角模及其剩余蕴涵的模糊粗糙集》中定理7的结论不成立,并给出了反例。其次,从两个方面对上述文献进行了修正：（1）当R是自反模糊关系时,T′={A∈F（U）|R（A）=A}是一模糊拓扑;（2）当R是自反、传递的模糊关系时,上述文献中的结论成立。最后,给出了模糊集A为模糊拓扑T的开集的充分必要条件,从而得到了模糊拓扑T的另外几个性质。