Relations between fuzzy implication algebra and Heyting algebra | IEEE Conference Publication | IEEE Xplore