Contributions of Arto Salomaa to Multiple-Valued Logic | IEEE Conference Publication | IEEE Xplore