3 papers
cs.LO2018
A logic-algebraic tool for reasoning with Knowledge-Based Systems
José A. Alonso-Jiménez, Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz +2
A detailed exposition of foundations of a logic-algebraic model for reasoning with knowledge bases specified by propositional (Boolean) logic is presented. The model is conceived f…
math.AC2004
Coefficient fields and scalar extension in positive characteristic
M. Fernandez-Lebron, L. Narvaez-Macarro
Let k be a perfect field of positive characteristic, k(t)_{per} the perfect closure of k(t) and A=k[[X_1,...,X_n]]. We show that for any maximal ideal N of A'=k(t)_{per}\otimes_k A…
math.AC2001
Conservation of the noetherianity by perfect transcendental field extensions
M. Fernandez-Lebron, L. Narvaez-Macarro
Let be a perfect field of characteristic , the perfect closure of and a -algebra. We characterize whether the ring is no…