A theory of finite closure spaces based on implications

From MaRDI portal
Publication:1341147

DOI10.1006/aima.1994.1069zbMath0863.54002OpenAlexW2072284346MaRDI QIDQ1341147

Marcel Wild

Publication date: 2 January 1995

Published in: Advances in Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/aima.1994.1069




Related Items (29)

The lattices of closure systems, closure operators, and implicational systems on a finite set: A surveyAttribute-incremental construction of the canonical implication basisOptimum basis of finite convex geometryUnnamed ItemA representation of antimatroids by Horn rules and its application to educational systemsLattices of regular closed subsets of closure spacesLattice point of view for argumentation frameworkComputations with finite closure systems and implicationsConstruction and learnability of canonical Horn formulasHierarchical decompositions of implicational bases for the enumeration of meet-irreducible elementsThe presence of lattice theory in discrete problems of mathematical social sciences. Why.Decision systems in rough set theory: A set operatorial perspectiveThe joy of implications, aka pure Horn formulas: mainly a surveyLearning definite Horn formulas from closure queriesWeakly submodular rank functions, supermatroids, and the flat lattice of a distributive super\-matroidA compact representation for modular semilattices and its applicationsPseudo-models and propositional Horn inferenceClosure spaces that are not uniquely generatedThe multiple facets of the canonical direct unit implicational basisTranslating between the representations of a ranked convex geometryIncidence algebras that are uniquely determined by their zero-nonzero matrix pattern.Going down in (semi)lattices of finite moore families and convex geometriesOn implicational bases of closure systems with unique critical sets.Canonical Horn Representations and Query LearningAttribute exploration with background knowledgeLatticial structures in data analysis.Realization of abstract convex geometries by point configurationsUnnamed ItemAxiomatizing simple binary matroids by their closed circuits




This page was built for publication: A theory of finite closure spaces based on implications