Expanding Logics of Perfect Paradefinite Algebras with an Implication Connective

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.