Implication Algebra on a partially ordered set with s-property | IEEE Conference Publication | IEEE Xplore