[AgentOrange1234]

Lots of insanity here too. Like, “~(~(a)) = a” is no longer a correct rule (because when negated twice, z becomes x). But other than that it’s a cool system.

[claudiawerner]

That's funny, reminds me of Engels' principle in Hegel's logic of the "negation of the negation".

[logicchains]

You might like https://ncatlab.org/nlab/show/Hegel%27s+%22Logic%22+as+Modal....