α — Semantic resolution method in lattice-valued logic | IEEE Conference Publication | IEEE Xplore