为了从另一个角度研究格上逻辑,通过对闭包算子与闭包系统的研究,用对偶的方法给出内部算子的定义,建立了相应的内部系统.
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.