The modern category-theoretic treatment of logic, the variables in “propositional” logic should be interpreted as subsets of some given nonempty universe set U, i.e., propositional logic is subset logic. Since partitions on a set are dual to subsets of the set, the idea arises of a dual logic of partitions.