Listar MA - Contribuciones a congresos científicos por centro "E.T.S.I. Informática"
Mostrando ítems 1-8 de 8
-
Closure Structures as fixed points of some Galois connections.
(2023)The starting point of this work is a published paper where the fuzzy powerset of a fuzzy lattice A, the set of isotone mappings on A and the set of isotone total relations on A were proved to be related by three fuzzy ... -
Formal concept analysis and structures underlying quantum logics
(2018-06-04)A Hilbert space $H$ induces a formal context, the Hilbert formal context $\overline H$, whose associated concept lattice is isomorphic to the lattice of closed subspaces of $H$. This set of closed subspaces, denoted $\mathcal ... -
From an implicational system to its corresponding D-basis
(2015-10-30)Closure system is a fundamental concept appearing in several areas such as databases, formal concept analysis, artificial intelligence, etc. It is well-known that there exists a connection between a closure operator on a ... -
Inference of mixed information in Formal Concept Analysis
(2017-10-10)Negative information can be considered twofold: by means of a negation operator or by capturing the absence of information. In this second approach, a new framework have to be developed: from the syntax to the semantics, ... -
On the homological properties of the universal enveloping Leibniz algebra
(2018-02-27)We presente a study of graded Leibniz algebras and its universal enveloping Leibniz algebra. We prove that the universal enveloping Leibniz algebra of a finite dimensional graded Leibniz algebra is a quasi-Koszul algebra ... -
Rooted functor categories
(2022)En esta comunicación extendemos el Teorema de Green a categorías de funtores aditivos sobre una categoría pequeña, introducimos la noción de "rooted small preadditive category" y caracterizamos los funtores proyectivos e ... -
The direct-optimal basis via reductions
(2014-10-23)Formal Concept Analysis has become a real approach in the trend Information-Knowledge-Wisdom. It turns around the mining of a data set to built a concept lattice which provides an strong structure of the knowledge. ...