Title: Many-valued logic