Listar por autor "Pérez-Gámez, Francisco"
Mostrando ítems 1-4 de 4
-
An exploration of weak Heyting algebras: Characterization and properties
Pérez-Gámez, Francisco; Bejines-López, Carlos
(Elsevier, 2025-01-20)
This paper explores weak Heyting algebras, an extension of complete Heyting algebras, focusing on characterizing this concept and identifying essential properties in terms of implication operators. The main emphasis is on ... -
Attribute implications with unknown information based on weak Heyting algebras
Cordero-Ortega, Pablo; Enciso-García-Oliveros, Manuel; Mora, Angel; Pérez-Gámez, Francisco (Elsevier, 2024-08)
Simplification logic, a logic for attribute implications, was originally defined for Boolean sets. It was extended to distributive fuzzy sets by using a complete dual Heyting algebra. In this paper, we weaken this restriction ... -
Información desconocida en análisis de conceptos formales.
(UMA Editorial, 2024)Esta tesis está enmarcada en el área de Análisis de Conceptos Formales (FCA, Formal Concept Analysis). FCA extrae, representa y manipula conocimiento implícito en un contexto formal, que es una relación binaria entre objetos ... -
Simplification logic for the management of unknown information
Pérez-Gámez, Francisco; Cordero-Ortega, Pablo; Enciso-García-Oliveros, Manuel; Mora-Bonilla, Ángel (Elsevier, 2023)
This paper aims to contribute to the extension of classical Formal Concept Analysis (FCA), allowing the management of unknown information. In a preliminary paper, we define a new kind of attribute implications to represent ...