Properties of a Logical System in the Calculus of Structures