Structures with many-valued information and their relational proof theory | IEEE Conference Publication | IEEE Xplore