related documents Structures with many-valued information and their relational proof theory Conferences