Pruf and its application to inference from fuzzy propositions | IEEE Conference Publication | IEEE Xplore