Talk:Polarized linear logic
From LLWiki
(Difference between revisions)
(How to relate with the positive formula page) |
Revision as of 10:24, 5 October 2011
Positive and negative formula
The notion of positive and negative formulas in polarized linear logic is a restriction of the more general one from linear logic. The relation might have to be clarified.
As mentioned in Talk:Positive_formula, we should also decide how to deal with the two dual notions.
Olivier Laurent 08:24, 5 October 2011 (UTC)
