Talk:Polarized linear logic
From LLWiki
Revision as of 09:25, 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)
Stoup
I am not sure I like the presentation with a stoup. I prefer to see the at most one formula property as a lemma consequence of the definition of the rules.
But maybe I am too much a fundamentalist in this topic ...
Olivier Laurent 08:25, 5 October 2011 (UTC)
