Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
a stub, for the moment just so as to make links work at differential category
Currently the entry says:
The intuitive understanding of linear logic is difficult to extend to differential linear logic.
Is that so? Isn’t the intended semantics in differential categories the intuition – in fact the motivation – behind differential linear logic?
(Maybe it feels like this is a “semantical” and not a “logical” intuition – but to trilogicians, there is no such distinction. ;-)
Yes, you’re right! This is fine for a trilogician. But it’s difficult to make concrete reasoning in differential linear logic, like the “Menu de Lafont” which explains linear logic in terms of the process of eating in a restaurant! You really need to become a trilogician when you go from linear logic to differential linear logic.
I’m going to add your remark.
1 to 13 of 13