present some systems of hybrid character, mixing Natural Deduction with other kinds of