Some 3-Dimensional Systems of Labelled Deduction