Tekstiviesti: Many-valued logics