A Formalization Of Logic In Diagonal-Free Cylindric Algebras