"Many-valued logic"@en .