The authors investigate how to conservatively expand the logics of perfect paradefinite algebras with an implication connective, while ensuring the resulting logic is self-extensional.
