一种基于Galois联络的逻辑及其等价形式

A Logic from Galois Connections and Its Equivalent Form

将形式化方法引入到Galois联络的研究当中,提出了一种基于Galois联络的逻辑系统LGC,给出了其等价形式并证明了完备性定理。由于Galois联络与粗糙集及概念格有着紧密的联系,故本文的结果对概念格及粗糙集的形式化研究有一定的启示作用。

The present paper aims to introduce formal approach to the study of Galois connections. A kind of logic（namely LGC） based on Galois connections is proposed and its soundness and completeness theorem is obtained. Furthermore, an equivalent form of LGC is given. Due to the close relationship between Galois connections and rough sets, concept lattices, the results obtained in this paper will help to bring some enlightenment to the formal studv of conce^t lattices and rough sets.