Constructing Cut Free Sequent Systems with Context Restrictions Based on Classical or Intuitionistic Logic.