Title: Multiple-conclusion logic
Subjects: Many-valued logic, Logic