Adding an implication to logics of perfect paradefinite algebras

Vitor Greati, Sérgio Marcelino, João Marcos 0001, Umberto Rivieccio. Adding an implication to logics of perfect paradefinite algebras. Mathematical Structures in Computer Science, 34(10):1138-1183, 2024. [doi]

Abstract

Abstract is missing.