Real-valued implication function based on real-valued realization of Boolean algebra | IEEE Conference Publication | IEEE Xplore