Text this: Many-valued logic.