GALACTIC logical clause description

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.

Indices and tables#