The relationship with theories of information is explained in Strong Types for Direct Logic here: https://hal.archives-ouvertes.fr/hal-01566393