Between Hilbert and Gentzen: four-valued consequence systems and structural reasoning