New answers tagged linear-logic
3
votes
Polarities for intuitionistic linear logic formulas inside classical linear logic (without linear implication)
This restricted grammar is discussed here:
François Lamarche. Proof nets for intuitionistic linear logic: Essential nets. Research report
, INRIA, 2008.
https://inria.hal.science/inria-00347336
...
Top 50 recent answers are included