The theory of formal concept analysis(FCA) is an important mathematical method for knowledge representation and knowledge discovery. The Boolean formal context is proposed by introducing Boolean matrices and logical operations into FCA. Based on the concept lattice of the Boolean formal context and the column vector(row-vector)-oriented concept lattice of the Boolean formal context, this paper proposes the column vector(row vector)-induced three-way concept lattice of the Boolean formal context and the column vector(row vector)-induced three-way column vector(row vector)-oriented concept lattice of the Boolean formal context, and proves their rationality. Then, the isomorphism between the three-way concept lattice of the Boolean formal context and the three-way concept lattice of the general formal context is proved.
Read full abstract