 Cooper provides a complete axiomatization for his logic, using a system of inference rules close to a natural deduction system (system OL). Using tableaux and sequent calculi, Égré, Rossi, and Sprenger (2021) compare the Cooper-Cantwell logic CC/TT with the logic DF/TT that results from de Finetti’s table and the same notion of validity (preservation of non-zero values). The logic DF/TT is connexive, too, and supports Negation Commutation. A central difference, however, is that de Finetti’s table fails to support MP.