GALACTIC logical clause description#
galactic-description-logical-clause [1] [2] is the package for describing convex concept by logical predicates.
GALACTIC stands for GAlois LAttices, Concept Theory, Implicational systems and Closures.
galactic-description-logical-clause [1] [2] is the package for describing convex concept by logical predicates.
GALACTIC stands for GAlois LAttices, Concept Theory, Implicational systems and Closures.