Canonical dichotomous direct bases

DOI10.1016/j.ins.2016.10.004zbMath1428.68291OpenAlexW2528316542MaRDI QIDQ2282305

Ángel Mora, Manuel Enciso, Pablo Cordero, Estrella Rodríguez-Lorenzo

Publication date: 7 January 2020

Published in: Information Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ins.2016.10.004

zbMATH Keywords

formal concept analysisclosure systemsdirect basesimplicational systems

Mathematics Subject Classification ID

Knowledge representation (68T30) Galois correspondences, closure operators (in relation to ordered sets) (06A15)

Related Items (4)

Formal Methods in FCA and Big Data ⋮ Unnamed Item ⋮ Quasi-closed elements in fuzzy posets ⋮ Knowledge implications in multi-adjoint concept lattices

Cites Work

• On minimal sets of graded attribute implications
• A logic of graded attributes
• On keys and functional dependencies as first-class citizens in description logics
• Some decision and counting problems of the Duquenne-Guigues basis of implications
• The multiple facets of the canonical direct unit implicational basis
• Ordered direct implicational basis of a finite closure system
• Some Notes on Managing Closure Operators
• Ideal non-deterministic operators as a formal framework to reduce the key finding problem
• A tableaux-like method to infer all minimal keys
• Identifying the Minimal Transversals of a Hypergraph and Related Problems
• Closure via functional dependence simplification
• About Keys of Formal Context and Conformal Hypergraph
• Galois Connexions
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Canonical dichotomous direct bases