Talk:Polarized linear logic
From LLWiki
Revision as of 09:24, 5 October 2011 by Olivier Laurent (Talk | contribs)
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)
