| | |
| | |
Stat |
Members: 3643 Articles: 2'487'895 Articles rated: 2609
28 March 2024 |
|
| | | |
|
Article overview
| |
|
The joy of implications, aka pure Horn functions: mainly a survey | Marcel Wild
; | Date: |
24 Nov 2014 | Abstract: | Apart from a brief look at applications (Relational Databases, Formal Concept
Analysis et al.) 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, component-wise quadratic pure Horn
functions, ordered direct bases, generating all closed sets, general (i.e.
impure) Horn functions. We pose seven open problems to stimulate further
research. | Source: | arXiv, 1411.6432 | Services: | Forum | Review | PDF | Favorites |
|
|
No review found.
Did you like this article?
Note: answers to reviews or questions about the article must be posted in the forum section.
Authors are not allowed to review their own article. They can use the forum section.
browser claudebot
|
| |
|
|
|
| News, job offers and information for researchers and scientists:
| |