| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 4650537 | Discrete Mathematics | 2008 | 12 Pages |
Abstract
Kuznecov introduced the concept of primitive positive clones and proved in 1977 that there are 25 Boolean primitive positive clones in a notoriously unavailable article. This paper presents a new proof of his result, relating it to Post's lattice and exhibiting finite bases for those clones.
Keywords
Related Topics
Physical Sciences and Engineering
Mathematics
Discrete Mathematics and Combinatorics
Authors
Miki Hermann,