Direct Algebraic Logic