3 ms·
> classical linear logic embeds into intuitionistic. Wait, really? As I understand it there are things provable in LL that can't be proved in ILL. Can't find
by danharaj 8y ago
> classical linear logic embeds into intuitionistic.
Wait, really? As I understand it there are things provable in LL that can't be proved in ILL. Can't find the citation though.
It should be noted that double negation translations are more complicated at the proof level even though they capture provability.