- idUS
- Investigación
- Ciencias
- Matemática Aplicada I
- Ponencias (Matemática Aplicada I)
- Browsing Ponencias (Matemática Aplicada I) by Author
Browsing Ponencias (Matemática Aplicada I) by Author "Aranda Corral, Gonzalo A."
Now showing items 1-2 of 2
-
Presentation
Conservative Retractions of Propositional Logic Theories by Means of Boolean Derivatives: Theoretical Foundations
Aranda Corral, Gonzalo A.; Borrego Díaz, Joaquín; Fernández Lebrón, María Magdalena (Springer, 2009)We present a specialised (polynomial-based) rule for the propositional logic called the Independence Rule, which is useful ...
-
Presentation
Extending Attribute Exploration by Means of Boolean Derivatives
Alonso Jiménez, José Antonio; Aranda Corral, Gonzalo A.; Borrego Díaz, Joaquín; Fernández Lebrón, María Magdalena; Hidalgo Doblado, María José (CEUR-WS, 2008)We present a translation of problems of Formal Context Analysis into ideals problems in F2[x] through the Boolean ...