The Logic of Partitions: Introduction to the Dual of the Logic of Subsets

David Ellerman

Modern categorical logic as well as the Kripke and topological models of intuitionistic logic suggest that the interpretation of ordinary "propositional" logic should in general be…