Post #1421421
2024-07-30 08:27 UTC
@andrejbauer @soaproot I don’t see why this is an issue.
Replies (1)
-
@soaproot@sfba.social 2024-07-30 13:48
@DavidKButler@mathstodon.xyz @andrejbauer@mathstodon.xyz Heh. In a logic with double negation elimination, it is a bit hard to see an issue. Now, Andrej Bauer and I often work in logics which don't have double negation elimination, so you are getting a particular perspective when you talk to our ilk. Hopefully we are explaining how those logics work without getting obnoxious about the whole thing.