Sets of independent postulates for the algebra of logic | Synapse