A logic for reasoning about fuzzy truth values | IEEE Conference Publication | IEEE Xplore