João Marcos

Adding an implication to logics of perfect paradefinite algebras | Mathematical Structures in Computer Science | Cambridge Core Adding an implication to logics of perfect paradefinite algebras - Volume 34 Issue 10

This is finally coming fresh from the oven, open access:

"Adding an implication to logics of perfect paradefinite algebras"
Mathematical Structures in Computer Science , Volume 34(10): LSFA 2021 and LSFA 2022 , November 2024 , pp. 1138 - 1183
doi.org/10.1017/S096...

I made a starter pack of Logic folks

go.bsky.app/Q6NbAiN