Splitted section-piware in syntax, semantics and proofs