一种基于Galois联络的逻辑及其等价形式
将形式化方法引入到Galois联络的研究当中,提出了一种基于Galois联络的逻辑系统LGC,给出了其等价形式并证明了完备性定理.由于Galois联络与粗糙集及概念格有着紧密的联系,故本文的结果对概念格及粗糙集的形式化研究有一定的启示作用.
Galois联络、对偶Galois联络、逻辑系统LGC、粗糙集、概念格
25
O153(代数、数论、组合理论)
2011-05-04(万方平台首次上网日期,不代表论文的发表时间)
共7页
38-44
点击收藏,不怕下次找不到~
Galois联络、对偶Galois联络、逻辑系统LGC、粗糙集、概念格
25
O153(代数、数论、组合理论)
2011-05-04(万方平台首次上网日期,不代表论文的发表时间)
共7页
38-44
国家重点研发计划“现代服务业共性关键技术研发及应用示范”重点专项“4.8专业内容知识聚合服务技术研发与创新服务示范”
国家重点研发计划资助 课题编号:2019YFB1406304
National Key R&D Program of China Grant No. 2019YFB1406304
©天津万方数据有限公司 津ICP备20003920号-1
违法和不良信息举报电话:4000115888 举报邮箱:problem@wanfangdata.com.cn