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.