Title: Many-valued logic
Subjects: Many-valued logic