Many-valued logic through its history | IEEE Conference Publication | IEEE Xplore