Browsing by Author "Fernández Lebrón, María Magdalena"
Now showing items 1-7 of 7
-
Article
A logic-algebraic tool for reasoning with Knowledge-Based Systems
(Elsevier, 2018)A detailed exposition of foundations of a logic-algebraic model for reasoning with knowledge bases speci ed by propositional ...
-
Article
Coefficient fields and scalar extension in positive characteristic
(Elsevier, 2005-03-15)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
Conservation of the noetherianity by perfect transcendental field extensions
(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.
-
Presentation
Conservative Retractions of Propositional Logic Theories by Means of Boolean Derivatives: Theoretical Foundations
(Springer, 2009)We present a specialised (polynomial-based) rule for the propositional logic called the Independence Rule, which is useful ...
-
PhD Thesis
Derivaciones de Hasse-Schmidt, cuerpos de coeficientes y extensión de escalares en característica positiva
(2002-03-08)Una de las diferencias más notables entre el Álgebra de característica positiva y el Álgebra de característica cero radica ...
-
Presentation
Extending Attribute Exploration by Means of Boolean Derivatives
(CEUR-WS, 2008)We present a translation of problems of Formal Context Analysis into ideals problems in F2[x] through the Boolean ...
-
Article
Hasse-Schmidt derivations and coefficient fields in positive characteristics
(Elsevier, 2003-07-01)We show how to express any Hasse-Schmidt derivation of an algebra in terms of a finite number of them under natural ...