Efficient Communication of Logic Statements: Bridging Information Theory and Propositional Logic

The core message of this article is to develop a theory of communication that allows a sender (Alice) to efficiently convey logic statements to a receiver (Bob) with the goal of enabling Bob to deduce specific logic propositions, even when their knowledge about the underlying logic system differs.