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

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