Structures with Many-Valued Information and Their Relational Proof Theory