Hacker News new | ask | show | jobs
by hyperpape 3323 days ago
I was referring to the subsumption under substructural logic, not a subsumption under linear logic. Belnap seemed to view linear logic as rather different from his own interests in relevance logic.