João Marcos
LightNews LightNews
banner
antitheorem.bsky.social
João Marcos
@antitheorem.bsky.social
110 followers 70 following 1 posts
a logician (and not)
Posts Replies Media Videos
antitheorem.bsky.social
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...
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
doi.org
March 3, 2025 at 2:55 PM
Reposted by João Marcos
standefer.bsky.social
I made a starter pack of Logic folks

go.bsky.app/Q6NbAiN
November 19, 2024 at 5:44 AM