← Feed @chrisamaphone@hci.social Post #3066765 2026-05-22 10:40 UTC @Paul_Taylor@mathstodon.xyz @mc@mathstodon.xyz is this true even for logics without weakening? Replies (0) No replies.