| 一种基于Galois联络的逻辑及其等价形式 |
| |
| 引用本文： | 贺晓丽,折延宏. 一种基于Galois联络的逻辑及其等价形式[J]. 模糊系统与数学, 2011, 25(1): 38-44 |
| |
| 作者姓名： | 贺晓丽 折延宏 |
| |
| 作者单位： | 西安石油大学,理学院,陕西,西安,710065 |
| |
| 摘 要： | 将形式化方法引入到Galois联络的研究当中,提出了一种基于Galois联络的逻辑系统LGC,给出了其等价形式并证明了完备性定理.由于Galois联络与粗糙集及概念格有着紧密的联系,故本文的结果对概念格及粗糙集的形式化研究有一定的启示作用.
|
| 关 键 词： | Galois联络 对偶Galois联络 逻辑系统LGC 粗糙集 概念格 |
A Logic from Galois Connections and Its Equivalent Form |
| |
| HE Xiao-li,SHE Yan-hong. A Logic from Galois Connections and Its Equivalent Form[J]. Fuzzy Systems and Mathematics, 2011, 25(1): 38-44 |
| |
| Authors: | HE Xiao-li SHE Yan-hong |
| |
| Affiliation: | HE Xiao-li,SHE Yan-hong(College of Science,Xi'an Shiyou University,Xi'an 710065,China) |
| |
| Abstract: | 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 study of concept lattices and rough sets. |
| |
| Keywords: | Galois Connections Dual Galois Donnections Logic System LGC Rough Sets Concept Lattices |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
