# The joy of implications, aka pure Horn functions: mainly a survey

arXiv: https://arxiv.org/abs/1411.6432 · HTML: https://mlsanity.com/paper/1411.6432/

## Key facts

- Cited by 2 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 24 Nov 2014.

## Built on by (most cited first, 2 of 2)

- [The Horn Non-Clausal Class and its Polynomiality](https://mlsanity.com/paper/2108.13744/) (2021)
- [On the preferred extensions of argumentation frameworks: bijections with naive sets](https://mlsanity.com/paper/2202.05506/) (2022)

## Abstract (arXiv)

Apart from a brief look at applications (Relational Databases, Formal Concept Analysis, data mining) this article is devoted to the mathematical t h e o r y of implications (=pure Horn formulas). It is mainly a survey of results obtained in the last thirty years, but features a few novelties as well. Some keywords: The Duquenne-Guiges (implicational) base, the canonical direct base, prime implicates, the consensus method, implications and meet irreducible closed sets, optimum bases for certain lattices, ordered direct bases, generating all closed sets, general (i.e. impure) Horn functions. We pose four open problems to stimulate further research.