Multiple valued logic. Proceedings - International symposium on multiple valued logic (7 1977) (IEEE, 1977)