Y
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.