An informational view of classical logic http://www.sciencedirect.com/science/article/pii/S0304397515005678