Extending Attribute Exploration by Means of Boolean Derivatives
José Antonio Alonso Jiménez, Gonzalo A. Aranda-Corral, Joaquín Borrego‐Díaz, M. Magdalena Fernández-Lebrón, María José Hidalgo Doblado · 2008
We present a translation of problems of Formal Context Analysis into ideals problems in F2(x) through the Boolean derivatives. The Boolean derivatives are introduced as a kind of operators on propo- sitional formulas which provide a complete calculus. They are useful to refine stem basis as well as for extending attribute exploration.