The Application of Concept Lattice Theory in the Reduction of the Proposition Set in Two-Valued Propositional Logic
Zhang Dong-xiao · Dianzi xuebao · 2007
Attribute reduction theory and the Γ-reduction theory in propositional logic arose in two rather different fields.In this paper,by introducing the formal context induced by Γ,the mutual relationship between them are investigated,then the concept lattices are built based on the formal context induced by Γ.The main purpose of this paper is to introduce the theory of Γ-reduction in two-valued propositional logic,which is the minimal set Γ0■Γ such that D(Γ0)=D(Γ).Several ways to determine the Γ-reduction are studied by investigating the relationship between Γ and their subsets;an algorithm to explore the reduction by concept lattice theory is given.