Notes on Avron's Self-extensional Four-valued Paradefinite Logic | IEEE Conference Publication | IEEE Xplore