Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 3 of 3 for “"Lógica algebraica"”.
-
Resolución de sistemas de ecuaciones polinomiales sobre álgebras de post k-cíclicas
… Álgebra Conmutativa en un problema propio de la Lógica Algebraica. En Resolution of Algebraic Systems of Equations in the Variety of Cyclic Post Algebras [13] mostramos un camino para resolver un sistema de ecuaciones algebraicas sobre una álgebra de Post cíclica de orden p, con p primo, …
-
Avances en teoría de modelos : lógicas de primer orden y teoría paraconsistente de conjuntos
… maximales de Henkin para ciertas familias de lógicas de la literatura de lógicas algebraicas. Para ver esta relación, estudiamos la clase de álgebras de Hilbert n-valoradas con supremo enriquecidas con operadores de Moisil. Para esta clase de álgebras, presentamos un cálculo proposicional y de …
-
Una interpretación algebraica de la verificación de sistemas basados en el conocimiento
… adecuadamente los conceptos propios de la Lógica Algebraica haciendo posible su aplicación en la representación de Sistemas Basados en el Conocimiento. Se ha construido un modelo formal que, no sólo permite expresar el conocimiento contenido en la base y su evolución durante el razonamiento …