Hacker News new | ask | show | jobs
by aapoalas 894 days ago
This is (or perhaps can be viewed as) a form of paraconsistent logic.