Beyond Two: Theory and Applications of Multiple-Valued Logic