On: Many-valued logic

[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 → AgentOrange1234]

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

[logicchains → claudiawerner]

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