Testing properties of fuzzy connectives and truth degrees with the latticemaker tool | IEEE Conference Publication | IEEE Xplore