摘要
为了从另一个角度研究格上逻辑,通过对闭包算子与闭包系统的研究,用对偶的方法给出内部算子的定义,建立了相应的内部系统.
In order to study lattical logical on the other hand, through study of clusure operate and clusure system. We define inner operator and set up inner system.
出处
《南阳师范学院学报》
CAS
2009年第12期7-9,共3页
Journal of Nanyang Normal University
基金
国家自然科学基金(10471083)
陕西师范大学重点科研基金(995130)
关键词
闭包算子
闭包系统
内部算子
内部系统
clusure operator
clusure system
inner operator
inner system
