NameFernández Lebrón, María Magdalena
DepartmentMatemática Aplicada I
Knowledge areaMatemática Aplicada
Professional categoryProfesora Contratada Doctora
E-mailRequest
         
  • No. publications

    7

  • No. visits

    1145

  • No. downloads

    1195


 

Article
Icon

A logic-algebraic tool for reasoning with Knowledge-Based Systems

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é (Elsevier, 2018)
A detailed exposition of foundations of a logic-algebraic model for reasoning with knowledge bases speci ed by propositional ...
Presentation
Icon

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
Icon

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 ...
Article
Icon

Coefficient fields and scalar extension in positive characteristic

Fernández Lebrón, María Magdalena; Narváez Macarro, Luis (Elsevier, 2005)
Let k be a perfect field of positive characteristic, k(t)per the perfect closure of k(t) and A = k[[X1, . . . , Xn]]. We ...
Article
Icon

Hasse-Schmidt derivations and coefficient fields in positive characteristics

Fernández Lebrón, María Magdalena; Narváez Macarro, Luis (Elsevier, 2003)
We show how to express any Hasse-Schmidt derivation of an algebra in terms of a finite number of them under natural ...
Article
Icon

Conservation of the noetherianity by perfect transcendental field extensions

Fernández Lebrón, María Magdalena; Narváez Macarro, Luis (European Mathematical Society, 2003)
Let k be a perfect field of characteristic p>0, k(t)per the perfect closure of k(t) and A a k-algebra. We characterize whether the ring A⊗kk(t)per is noetherian when A is the ring of formal power series in n indeterminates over k.
PhD Thesis
Icon

Derivaciones de Hasse-Schmidt, cuerpos de coeficientes y extensión de escalares en característica positiva

Fernández Lebrón, María Magdalena; Narváez Macarro, Luis (2002)
Una de las diferencias más notables entre el Álgebra de característica positiva y el Álgebra de característica cero radica ...