On a new algebra of logic.