Formal properties and rules of concept algebra | IEEE Conference Publication | IEEE Xplore