Investigations on the Algebra of Logic