电子学报2007，Vol.35Issue(8)：1538-1542,5.
概念格在二值命题逻辑命题集约简中的应用
The Application of Concept Lattice Theory in the Reduction of the Proposition Set in Two-Valued Propositional Logic
李立峰 1张东晓2
作者信息
- 1. 西安邮电学院应用数理系,陕西西安,710121
- 2. 集美大学理学院,福建厦门,361021
- 折叠
摘要
关键词
完备性定理/形式背景/Γ约简/概念格分类
数理科学引用本文复制引用
李立峰,张东晓..概念格在二值命题逻辑命题集约简中的应用[J].电子学报,2007,35(8):1538-1542,5.
