8 citations · 44 across the 25 of their papers we have counts for
Showing 2009Show all
2 papers · 1 filter
cs.IT2009★ 5 cited
Counting Distinctions: On the Conceptual Foundations of Shannon's Information Theory
David Ellerman
Categorical logic has shown that modern logic is essentially the logic of subsets (or "subobjects"). Partitions are dual to subsets so there is a dual logic of partitions where a "…
math.LO2009
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…