Hacker News new | ask | show | jobs
by g4zj 554 days ago
Different logical systems use different methods of handling negation. No single system is suitable for all purposes. I'm no expert, but maybe search for information about intuitionistic and paraconsistent logic and how they handle negation.